1. Alle, P.: Improving rail transit line capacity using computer graphics. Logist. and Transp. Rev (Canada) 17, 429–442 (1981)
2. Amendola, A.M., Impagliazzo, L., Marmo, P., Poli, F.: Experimental evaluation of computer-based railway control systems. In: Proceedings of The Twenty-Seventh Annual International Symposium on Fault-Tolerant Computing (FTCS 1997), Washington - Brussels - Tokyo, jun 1997, pp. 380–384. IEEE Computer Society Press, Los Alamitos (1997)
3. Anot, A.J.: Using Z Specification for Railway Interlocking Safety. Periodica Polytechnica, Transport Engineering Series 28(1-2), 39–53, Department of Information and Safety Systems Faculty of Electrical Engineering University of Zilina, Vel’ký diel, Zilina 010 26, Slovak Republic (2000)
4. Anselmi, A., Bernardeschi, C., Fantechi, A., Gnesi, S., Larosa, S., Mongardi, G., Torielli, F.: An experience in formal verification of safety properties of a railway signalling control system. In: Rabe, G. (ed.) SAFECOMP 1995: 14th International Conference on Computer Safety, Reliability and Security, Belgirate, Italy, pp. 474–488. Springer, Heidelberg (1995)
5. Aprea, G., Colantuoni, P., Firpo, P., Lido, R., Pellegrino, D., Rapone, M., Senesi, F.: SIGAV, the italian high speed railway integrated management system: Safety and reliability overview. In: Schoitsch, E. (ed.) SAFECOMP 1996: 15th International Conference on Computer Safety, Reliability and Security, Vienna, Austria, p. 250. Springer, Heidelberg (1996)