SLIVKA, M. Safety of Railway Systems and Formal/Semiformal Methods. Communications - Scientific letters of the University of Zilina, v. 13, n. 2A, p. 104-108, 31 Jul. 2011.