Sumiła, M. and Lewiński, A. 2010. The safety assurance method of railway control systems using object oriented languages. Archives of Transport. 22, 2 (Jun. 2010), 238–257. DOI:https://doi.org/10.2478/v10174-010-0015-0.