-B. Jonsson/J. Parrow (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings 1996, Springer-Verlag 1996