Slivka, Milan. “Safety of Railway Systems and Formal/Semiformal Methods”. Communications - Scientific letters of the University of Zilina 13, no. 2A (July 31, 2011): 104-108. Accessed April 6, 2026. http://journals.uniza.sk/index.php/communications/article/view/852.