1. Mirabadi, A., Yazdi, M.: Automatic generation and verification of railway interlocking control tables using FSM and NuSMV. In: Transport Problems, vol. 4(1), pp. 103–110. Wydawnictwo Politechniki Śląskiej, Gliwice (2009)
2. Amendola, A.M., Impagliazzo, L., Marmo, P., Poli F.: Experimental evaluation of computer-based railway control systems. In: FTCS-27, pp. 380–384. IEEE (1997)
3. Białoń, A., Pawlik, M.: Bezpieczeństwo i ryzyko na przykładzie urządzeń sterowania ruchem kolejowym. In: Problemy Kolejnictwa, vol. 163, pp. 25–41. Instytut Kolejnictwa, Warszawa (2014)
4. Młyńczak, J., et al.: European rail traffic management system (ERTMS). In: Sładkowski, A., Pamuła, W. (eds.) Intelligent Transportation Systems—Problems and Perspectives, pp. 217–242. Springer, Heidelberg (2016)
5. Toruń, A., Bester, L., Gołąbek, P.: Metody osiągania bezpieczeństwa transmisji w bezprzewodowych systemach automatyki kolejowej. In: Logistyka, vol. 3, pp. 6377–6383 (2014)