M. Sumiła and A. Lewiński, “The safety assurance method of railway control systems using object oriented languages”, AoT, vol. 22, no. 2, pp. 238–257, Jun. 2010, doi: 10.2478/v10174-010-0015-0.