1. S. Anderson and G. Cleland. Formal approaches to safety in programmable electronic systems. Technical report, University of Edinburgh, LFCS, 1993.
2. Process algebra, volume 18 of Cambridge Tracts in Theoretical Computer Science;Baeten,1990
3. T. Basten, R. Bol, and M. Voorhoeve. Simulating and analyzing railway interlockings in ExSpect. Technical Report 94–37, Eindhoven University of Technology, Department of Mathematics and Computing Science, 1994.
4. J. Berger, P. Middelraad, and A.J. Smith. EURIS, European Railway Interlocking Specification. Technical report, UIC, Committee 7A/16, 1992.
5. J. Berger, P. Middelraad, and A.J. Smith. The European Railway Interlocking Specification. In Proceedings RSE'93, January 1993.