Limbree, C. and Pecheur, C. (2019) “A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway”, Electronic Communications of the EASST, 76. doi: 10.14279/tuj.eceasst.76.1077.