1. Basten, T., Bol, R., Voorhoeve, M.: Simulating and analyzing railway interlockings in exspec. IEEE Parallel Distrib. Technol. Syst. Appl. 3(3), 50–62 (1995)
2. CPN Tools home page. http://cpntools.org
3. Clavel, M. et al.: Maude Manual. http://maude.cs.uiuc.edu/
4. Fantechi, A.: Distributing the challenge of model checking interlocking control tables. In: Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies—5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, 15–18 Oct 2012, Proceedings, Part II, pp. 276–289 (2012)
5. Fantechi, A.: Twenty-five years of formal methods and railways: what next? In: Software Engineering and Formal Methods—SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, 23–24 Sept 2013, Revised Selected Papers, pp. 167–183 (2013)