Software Engineering with Formal Methods: Experiences with the Development of a Storm Surge Barrier Control System. - Klaas Wijbrans; Franc Buve; Robin Rijkers; Wouter Geurts (FM, 2008)