Sumiła, M.; Lewiński, A. The Safety Assurance Method of Railway Control Systems Using Object Oriented Languages. AoT 2010, 22 (2), 238-257. https://doi.org/10.2478/v10174-010-0015-0.