TY  - RPRT
TI  - Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment
AU  - Kevin H. J. Jilissen
AU  - Peter Dieleman
AU  - Jan Friso Groote
PY  - 2024
DO  - 10.4204/eptcs.399.6
UR  - https://arxiv.org/abs/2403.18722
ID  - 2403.18722
ER  -