Slivka M. Safety of Railway Systems and Formal/Semiformal Methods. Communications [Internet]. 2011Jul.31 [cited 2026Apr.6];13(2A):104-8. Available from: http://journals.uniza.sk/index.php/communications/article/view/852