-M.-C. Gaudel/J. Woodcock (Eds.): FME'96: Industrial Benefit and Advances in Formal Methods, Springer-Verlag Proceedings 1996