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