1. Bailey, C. (ed.): European Railway Signalling. Institution of Railway Signal Engineers. A & C Black, London (1995)
2. Cimatti, A., Clarke, E., Giunchiglia, F. and Roveri, M.: NuSMV: a new Symbolic Model Checker. Springer: International Journal on Software Tools for Technology Transfer, Volume 2 Issue 4, pp410–425 (2000)
3. Cabodi, G., Camurati, P. and Quer, S.: Reachability analysis of large circuits using disjunctive partitioning and partial iterative squaring. Elsevier: Journal of Systems Architecture, Volume 47, Issue 2, pp163–179 (February 2001)
4. Clarke, M.E., Grumberg, O. and Peled, D.A.: Model Checking. MIT Press (1999, 2nd printing 2000)
5. Cribbens, A.H.: Solid State Interlocking (SSI): an Integrated Electronic Signalling System for Mainline Railways. IEE Proceedings, Part B: Electric Power Applications, Volume 134, Issue 3, pp148–158. IEE (1987)