Using ERTMSFormalSpecs to analyze CR

A huge number of Change Requests (CRs) is raised every year by the railway operators for ERTMS. Because the textual specifications cannot be animated, the impact of a change on the complete system cannot easily be assessed. Moreover, demonstrating that a proposed solution adequately solves the problem leads to time...