"Rigorous Development of Complex Fault-Tolerant Systems, FP6 IST-511599 RODIN project" - читать интересную книгу автора (Michael Butler, Cliff Jones)