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