TARNAI, G. and SÁGHI, B. 1998. ERHÖHUNG DER BAHNSICHERHEIT DURCH FORMALE METHODEN. Periodica Polytechnica Transportation Engineering. 26, 1-2 (Jan. 1998), 175–186.