@incollection{deploy404,
          author = {Yuliya Prokhorova and Elena Troubitsyna and Linas Laibinis and Vyacheslav Kharchenko},
       booktitle = {Dependability and Computer Engineering: Concepts for Software-Intensive Systems},
          editor = {Ketil Stolen and Simin Nadj-Tehrani and Christian Damsgaard Jensen  and Juri Vain},
         address = {IGI Global Publishing, USA},
           title = {Development of Safety-Critical Control Systems in Event-B Using FMEA},
       publisher = {IGI Global},
           pages = {75--91},
            year = {2011},
             url = {http://deploy-eprints.ecs.soton.ac.uk/404/},
        abstract = {Application of formal methods, in particular Event-B, helps us to build control systems correct by construction. On the other hand, to guarantee safety of such a system, we need to incorporate safety and fault tolerance requirements into its formal specification. In this chapter, we demonstrate how to integrate the results obtained during fault analysis, specifically, failure mode and effect analysis (FMEA), into the control system development process in Event-B. The proposed methodology is exemplified by a case study.}
}

<script src='//archive-bar.soton.ac.uk/archive-bar.js'></script>