-T. Margaria/B. Steffen (Eds.): Tools and Algorithms for the Construction and Analysis of Systems, Springer-Verlag Proceedings 1996