TARNAI G, SÁGHI B. ERHÖHUNG DER BAHNSICHERHEIT DURCH FORMALE METHODEN. Period. Polytech. Transp. Eng. [Internet]. 1998 Jan. 1 [cited 2025 Feb. 13];26(1-2):175-86. Available from: https://pp5.omikk.bme.hu/tr/article/view/6587