Janota A. USING <I>Z</I> SPECIFICATION FOR RAILWAY INTERLOCKING SAFETY. Period. Polytech. Transp. Eng. [Internet]. 2000 Jan. 1 [cited 2024 Dec. 26];28(1-2):39-53. Available from: https://pp.bme.hu/tr/article/view/1963