SUMIŁA, Marek; LEWIŃSKI, Andrzej. The safety assurance method of railway control systems using object oriented languages. Archives of Transport, Warsaw, Poland, v. 22, n. 2, p. 238–257, 2010. DOI: 10.2478/v10174-010-0015-0. Disponível em: https://archivesoftransport.com/index.php/aot/article/view/57.. Acesso em: 24 nov. 2024.