Coloured Petri net-based traffic collision avoidance system encounter model for the analysis of potential induced collisions | Publicación