Sumiła, Marek, and Andrzej Lewiński. “The Safety Assurance Method of Railway Control Systems Using Object Oriented Languages”. Archives of Transport 22, no. 2 (June 30, 2010): 238–257. Accessed April 30, 2025. https://www.archivesoftransport.com/index.php/aot/article/view/57.