Formal techniques in real-time and fault-tolerant systems : Konf. Nijmegen, Netherlands, 8.- 10. Jan. 1992 - Vytopil, J (Springer Verlag, 1991)