author : Jan Tretmans

Short works

• Lessons from the Application of Formal Methods to the Design of a Storm Surge Barrier Control System. 1999. (In FM'99 volume 2 )