-J.-P. Katön (Ed.): Formal Methods for Real-Time and Probabilistic Systems. Proceedings, Springer-Verlag 1999