@misc{indiciae2dc088b2eb1a,
  title = {A Complete Formal Specification and Verification of the BESW software control system of the Maeslant Storm Surge Barrier},
  author = {Adrian Beers and Jore Booy and Jan Friso Groote and Johan van den Bogaard and Mark Bouwman},
  year = {2025},
  url = {https://arxiv.org/abs/2504.08518},
  note = {Source identifier: 2504.08518}
}