C. Limbree and C. Pecheur, “A Framework for the Formal Verification of Networks of Railway Interlockings - Application to the Belgian Railway”, eceasst, vol. 76, May 2019.