Software Engineering with Formal Methods: The Development of a Storm
Surge Barrier Control System - Seven Myths of Formal Methods Revisited.
J. Tretmans, K. Wijbrans, M. Chaudron.
In: S. Gnesi and D. Latella (eds.),
Fourth Int. ERCIM Workshop on Formal Methods for Industrial Critical
Systems (FMICS'99) -- Proceedings of the FLoC Workshop, Volume II.
pp. 225-237,
Servizio Tecnografico Area di Ricerca del CNR, Pisa, Italy, 1999.