Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992 : proceedings - Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems; Vytopil, J. (Lecture notes in computer science, 1991)