Describir: Modelling and Analysis of Traffic Light Control Systems Using Timed Coloured Petri nets