@misc{indiciaef9fe5cd9ec9e,
  title = {Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment},
  author = {Kevin H. J. Jilissen and Peter Dieleman and Jan Friso Groote},
  year = {2024},
  doi = {10.4204/eptcs.399.6},
  url = {https://arxiv.org/abs/2403.18722},
  note = {Source identifier: 2403.18722}
}