Fig. 5From: On the real time modeling of interlocking system of passenger lines of Rawalpindi Cantt train stationUPPAAL tool box. This figure shows the UPPAAL toolbox in simulation modeBack to article page