Slivka, M. (2011) “Safety of Railway Systems and Formal/Semiformal Methods”, Communications - Scientific letters of the University of Zilina, 13(2A), pp. 104-108. Available at: http://journals.uniza.sk/index.php/communications/article/view/852 (Accessed: 6April2026).