Formal Methods for Real-Time and Probabilistic Systems 5th International AMAST Workshop, ARTS'99, Bamberg, Germany, May 26-28, 1999, Proceedings - Katoen, Jost-Pieter; Katoen, Jost-Pieter (Springer Berlin Heidelberg : Imprint: Springer, 1999)