On the other hand, critical software has been the main target of FM since their inception. For example, the railway industry has been applying FM for its critical systems for quite a long time [1]}; computer security has been one of the traditional application domains of FM for almost 50 years [2]}, [3]}, [4]}, [5]}, [6]}, [7]}; several other industrial sectors such as nuclear, defense, health care, etc. apply FM to some of their critical software projects where, in average, 80% report no increase in development time, +90% report no added costs, and 88% report on improved quality [8]}.
