Sumiła, Marek, and Andrzej Lewiński. “The Safety Assurance Method of Railway Control Systems Using Object Oriented Languages”. Archives of Transport, vol. 22, no. 2, June 2010, pp. 238-57, https://doi.org/10.2478/v10174-010-0015-0.