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