A formal analysis of Dutch Generic Integral Tunnel Design models. - Kevin H. J. Jilissen; Peter Dieleman; Jan Friso Groote (SAC, 2023)

Formally Modelling the Rijkswaterstaat Tunnel Control Systems in a Constrained Industrial Environment. - Kevin H. J. Jilissen; Peter Dieleman; Jan Friso Groote (MARS@ETAPS, 2024)