A. Janota, “USING <I>Z</I> SPECIFICATION FOR RAILWAY INTERLOCKING SAFETY”, Period. Polytech. Transp. Eng., vol. 28, no. 1-2, pp. 39–53, Jan. 2000.