@INPROCEEDINGS{TrWiCh99,
AUTHOR = "Tretmans, J. and Wijbrans K. and Chaudron, M.",
TITLE = "{Software Engineering with Formal Methods:
          The Development of a Storm Surge Barrier Control System --
          Seven Myths of Formal Methods Revisited}",
BOOKTITLE = "{Fourth Int.\ ERCIM Workshop on Formal Methods
              for Industrial Critical Systems (FMICS'99) --
              Proceedings of the FLoC Workshop}",
VOLUME = "II",
YEAR = "1999",
MONTH = "July 11--12",
EDITOR = "Gnesi, S. and Latella, D.",
PAGES = "225--237",
PUBLISHER = "Servizio Tecnografico Area di Ricerca del CNR",
ADDRESS = "Pisa, Italy"
}