Slivka, M. 2011. Safety of Railway Systems and Formal/Semiformal Methods. Communications - Scientific letters of the University of Zilina. 13, 2A (Jul. 2011), 104-108.