Verification of Session Initiation Protocol Using Timed Colored Petri Net. - Safiye Kizmaz; Mürvet Kirci (Int. J. Commun. Netw. Syst. Sci., 2011)