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