JANOTA, Ales. USING <I>Z</I> SPECIFICATION FOR RAILWAY INTERLOCKING SAFETY. Periodica Polytechnica Transportation Engineering, [S. l.], v. 28, n. 1-2, p. 39–53, 2000. Disponível em: https://pp.bme.hu/tr/article/view/1963. Acesso em: 21 jul. 2025.