Formal techniques in real-time and fault-tolerant systems : second international symposium, Nijmegen, the Netherlands, January 8-10, 1992, proceedings - Vytopil, J. (Jan), 1947- (Lecture notes in computer science, 1991)