Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings / - Vytopil, J. (Springer-Verlag,, 1991)