K. Rastocny, J. Zahradnik, and A. Janota, “An Object Oriented Model of a Railway Safety-Related Control System”, Communications, vol. 4, no. 4, pp. 32-39, Dec. 2002.