You are about to access our book library "Formal Techniques in Real-Time and Fault-Tolerant Systems: Second International Symposium Nijmegen, the Netherlands, January 8-10, 1992 Proceedings (Lecture Notes in Computer Science) full version" .