A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System.
Arturo AmendolaAnna BecchiRoberto CavadaAlessandro CimattiAlberto GriggioGiuseppe ScaglioneAngelo SusiAlberto TacchellaMatteo TessiPublished in: ISoLA (3) (2020)