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), pp. 238–257. doi:10.2478/v10174-010-0015-0.