From Electrical Switched Networks to Hybrid Automata. - Alessandro Cimatti; Sergio Mover; Mirko Sessa (FM, 2016)

SMT-based analysis of switching multi-domain linear Kirchhoff networks. - Alessandro Cimatti; Sergio Mover; Mirko Sessa (FMCAD, 2017)

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)