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