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