M. Slivka, “Safety of Railway Systems and Formal/Semiformal Methods”, Communications, vol. 13, no. 2A, pp. 104-108, Jul. 2011.