Rijkswaterstaat explores formal modelling for tunnel control systems to enhance standardization and communication.