Rigorous Development of Complex Fault-Tolerant Systems Publication Type: Book Authors: Michael Butler; Cliff B. Jones; Alexander Romanovsky; Elena Troubitsyna Source: Berlin: Springer (2006)