"Formal Techniques in Real-Time and Fault-Tolerant Systems: Third International Symposium Organized Jointly with the Working Group Provably Correct ... 3rd " - читать интересную книгу автора (Hans Langmaack, Willem-Paul de Roever, Jan Vytopil)