G. TARNAI and B. SÁGHI, “ERHÖHUNG DER BAHNSICHERHEIT DURCH FORMALE METHODEN”, Period. Polytech. Transp. Eng., vol. 26, no. 1-2, pp. 175–186, Jan. 1998.