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

Volltext