Prokhorova, Yuliya and Troubitsyna, Elena and Laibinis, Linas and Kharchenko, Vyacheslav  (2011) Development of Safety-Critical Control Systems in Event-B Using FMEA.   In:  Dependability and Computer Engineering: Concepts for Software-Intensive Systems.   IGI Global, IGI Global Publishing, USA, pp. 75-91.  ISBN 978-1-60960-747-0