In 1999, Meine van der Meulen wrote the specification for the replacement of the emergency closing system of the storm surge barrier in the Eastern Scheldt. This specification very closely followed IEC61508. Innovative in this project was the formal proof of its functionality, provided by Adelard.