A software house is in a deep financial crisis. There is however the possibility to gain a project and take out of depression the company. The software house has been contacted by a Governmental Nuclear Reactor Agency that wants to change the current Operating System of their plant. Last time they had a problem with the scheduling because a process starved for 3 days and did not report anything on an important indicator.