1. Basten, T., Bol, R., Voorhoeve, M.: Simulating and Analyzing Railway Interlockings in ExSpec. IEEE Parallel and Distributed Technology, Systems and Applications 3(3), 50–62 (1995)
2. Lecture Notes in Computer Science;C. Chevilat,2008
3. Lecture Notes in Computer Science;A. Cimatti,1999
4. Durmus, M.S., Soylemez, M.T.: Railway Signalization and Interlocking Design via Automation Petri Nets. In: Proceedings of the 7th Asian Control Conference, Hong Kong, August 27-29, 2009, pp. 1558–1563 (2009)
5. Fokkink, W.J., Hollingshead, P.R.: Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. In: Proceedings of the 3rd Workshop on Formal Methods for Industrial Critical Systems (FMICS 1998), Amsterdam, May 1998, pp. 171–185. Stichting Mathematisch Centrum (1998)