Analysis of Relay Interlocking Systems via SMT-based Model Checking of Switched Multi-Domain Kirchhoff Networks. - Roberto Cavada; Alessandro Cimatti; Sergio Mover; Mirko Sessa; Giuseppe Cadavero; Giuseppe Scaglione (FMCAD, 2018)