TARNAI, Géza, and Balázs SÁGHI. 1998. “ERHÖHUNG DER BAHNSICHERHEIT DURCH FORMALE METHODEN”. Periodica Polytechnica Transportation Engineering 26 (1-2):175-86.