-E. Brinksma et al. (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Selected Papers, Springer-Verlag 1995