"Formal Techniques in Real-Time and Fault-Tolerant Systems: 5th International Symposium, FTRTFT'98, Lyngby, Denmark, September 14-18, 1998, Proceedings ... in Real-Time & Fault-Tolerant Systems)" - читать интересную книгу автора (Anders P. Ravn, Hans Rischel)