Janota, A. 2000. USING <I>Z</I> SPECIFICATION FOR RAILWAY INTERLOCKING SAFETY. Periodica Polytechnica Transportation Engineering. 28, 1-2 (Jan. 2000), 39–53.