Abstract: Formal safety evaluation along the lifecycle of a road tunnel is a challenging task for road authorities all around the world. The practice is characterized by fragmented configurations of proprietary information systems ...