TARNAI, Géza; SÁGHI, Balázs. ERHÖHUNG DER BAHNSICHERHEIT DURCH FORMALE METHODEN. Periodica Polytechnica Transportation Engineering, [S. l.], v. 26, n. 1-2, p. 175–186, 1998. Disponível em: https://pp.bme.hu/tr/article/view/6587. Acesso em: 30 apr. 2024.