Sumiła M, Lewiński A. The safety assurance method of railway control systems using object oriented languages. AoT [Internet]. 2010 Jun. 30 [cited 2024 Jul. 3];22(2):238-57. Available from: https://archivesoftransport.com/index.php/aot/article/view/57