"Formal Techniques in Real-Time and Fault-Tolerant Systems: 4th International Symposium, Uppsala, Sweden, September 9 - 13, 1996, Proceedings: ... 4th " - читать интересную книгу автора (Bengt Jonsson, Joachim Parrow)