1. Einer, S., Slovák, R., Schnieder, E.: Modeling train control systems with Petri nets-an operational specification. In: 2000 IEEE International Conference on Systems, Man, and Cybernetics, 8–11 October 2000, vol. 5, pp. 3207–3211 (2000)
2. Communications in Computer and Information Science;K Rástočný,2015
3. Rástočný, K., et al.: Quantitative assessment of safety integrity level of message transmission between safety-related equipment. J. Comput. Inform. 33, 1001–1026 (2014)
4. Rástočný, K., et al.: Modelling of hazards effect on safety integrity of open transmission systems. J. Comput. Inform. 35, 470–496 (2016)
5. EN 50129: Railway applications – Communication, signalling and processing systems – Safety related electronic systems for signalling (2003)