An Extensible Coloured Petri Net Model of a Transport Protocol for Packet Switched Networks. - Dmitry J. Chaly; Valery A. Sokolov (PaCT, 2003)