Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. - Michel R. V. Chaudron; Jan Tretmans; Klaas Wijbrans (World Congress on Formal Methods, 1999)

Software Engineering with Formal Methods: The Development of a Storm Surge Barrier Control System Revisiting Seven Myths of Formal Methods. - Jan Tretmans; Klaas Wijbrans; Michel R. V. Chaudron (Formal Methods Syst. Des., 2001)

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)