Rastocny, Karol, Jiri Zahradnik, and Ales Janota. “An Object Oriented Model of a Railway Safety-Related Control System”. Communications - Scientific letters of the University of Zilina 4, no. 4 (December 31, 2002): 32-39. Accessed April 6, 2026. http://journals.uniza.sk/index.php/communications/article/view/1414.