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