Fig. 3From: On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train stationWatchdog timed automaton where start and error are the two states, input is the reception channel and x is the clock variableBack to article page