Slivka, M. Safety of Railway Systems and Formal/Semiformal Methods. Communications 2011, 13, 104-108.