Limbree, C.; Pecheur, C. A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway. ECEASST 2019, 76.