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