Cited By
View all- Jilissen KDieleman PGroote J(2024)Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial EnvironmentElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.399.6399(101-127)Online publication date: 27-Mar-2024