Rigorous Development of Complex Fault-Tolerant Systems - Butler, Michael; Jones, Cliff B.; Romanovsky, Alexander; Troubitsyna, Elena (Springer Berlin Heidelberg, 2006)