-M. Naftalin/T. Denvir/M. Bertram (Eds.): FME '94: Industrial Benefit of Formal Methods. Proceedings 1994, Springer-Verlag 1994