@misc{indiciae9f1f6504a172,
  title = {A formal specification of the desired software behaviour of the Princess Marijke lock complex},
  author = {Jan Friso Groote and Matthias Volk},
  year = {2025},
  url = {https://arxiv.org/abs/2507.02721},
  note = {Source identifier: 2507.02721}
}