A Model-Based Approach to the Design, Verification and Deployment of Railway Interlocking System. - Arturo Amendola; Anna Becchi; Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Giuseppe Scaglione; Angelo Susi; Alberto Tacchella; Matteo Tessi (ISoLA (3), 2020)

Automated Parameterized Verification of a Railway Protection System with Dafny. - Roberto Cavada; Alessandro Cimatti; Alberto Griggio; Christian Lidström; Gianluca Redondi; Giuseppe Scaglione; Matteo Tessi; Dylan Trenti (CAV (4), 2025)