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