@INPROCEEDINGS{ChTrWi99,
AUTHOR = "Chaudron, M. and Tretmans, J. and Wijbrans, K.",
TITLE = "{Lessons from the Application of Formal Methods to the Design
          of a Storm Surge Barrier Control System}",
BOOKTITLE = "{FM'99 -- World Congress on Formal Methods
              in the Development of Computing Systems II}",
EDITOR = "Wing, J.M. and Woodcock, J. and Davies, J.",
SERIES = "Lecture Notes in Computer Science",
VOLUME = "1709",
YEAR = "1999",
PAGES = "1511--1526",
PUBLISHER = "Springer-Verlag"
}