-H. Langmaack/W.-P. de Röver/J. Vytopil (Eds.): Formal Techniques in Real-Time and Fault-Tolerant Systems. Proceedings 1994, Springer-Verlag 1994