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 Nov. 24];22(2):238-57. Available from: https://archivesoftransport.com/index.php/aot/article/view/57