Slivka, Milan. 2011. “Safety of Railway Systems and Formal/Semiformal Methods”. Communications - Scientific Letters of the University of Zilina 13 (2A), 104-8. http://journals.uniza.sk/index.php/communications/article/view/852.