-W.R. Cleaveland (Ed.): Tools and Algorithms for the Construction of Analysis of Systems. Proceedings, Springer-Verlag 1999