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 July 3, 2024. https://archivesoftransport.com/index.php/aot/article/view/57.