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