Interlocking Formal Verification at Alstom Signalling. - Camille Parillaud; Yoann Fonteneau; Fabien Belmonte (RSSRail, 2019)