ling, IBM Soft- ware Group. C 2009 by Taylor & Francis Group, LLC SIP Modeling and Simulation [14] Harjula, E. 2007. Peer-to-Peer SIP in Mobile Middleware Intercommu- nication. University of Oulu, Department of Electrical and Information Engineering, Oulu, Finland, Master's thesis. [15] Garzia, R.F. 1990. Network Modeling, Simulation, and Analysis. Marcel Dekker, Inc. New York, NY, USA. [16] Network simulator v.2, available at www.isi.edu/nsnam. [17] OPNET Technologies Ltd. WWW-page, http://www.opnet.com. [18] QualNet Technologies Ltd. WWW-page, http://www.qualnet.com. [19] Daly, F. 1999. The Simulation. PhD thesis. Ireland: University of Limerick. [20] Ranganathan, M., O. Deruelle, and D. Montgomery. 2003. Testing SIP call flows using XML protocol templates, IFIP International Conference on Testing of Communicating Systems. Berlin: Springer-Verlag. [21] Kaul, A. 2003. Finite State Machine (FSM) framework for SIP extensions, Internet-draft, draft-kaul-sip-fsm-framework-00.txt, Network Working Group. [22] Zhang, Y. 2002. SIP-based VoIP network and its interworking with the PSTN, Electronics & Communication Engineering Journal, 273- 82, Institution of Electrical Engineers, London, ROYAUME-UNI (1989 2002) (Revue). [23] Lee D., and M.Yannakakis. 1996. Principles and methods of testing finite state machines-a survey, Proceedings IEEE, 84, 1090-1123. [24] Turner, K.J. 2002. Modelling SIP services using Cress, In Proceedings Formal Techniques for Networked and Distributed Systems (FORTE XV), eds. Moshe Vardi and Doron Peled, 162-77. LNCS 2529. Berlin: Springer-Verlag, November. Conallen, J. 2007. Introduction to the SIP Modeling Toolkit for IBM Rational Software Architect, IBM Product Report. [26] Németh E., R. Lakner, K. M. Hangos, and I. T. Cameron. 2003. Hierar- chical CPN model-based diagnosis using HAZOP knowledge, Research Report SCL-009/2003, Systems and Control Laboratory. Hungary: Com- puter and Automation Research Institute, Budapest. [27] Jensen, K. 1995. Coloured Petri Nets. Basic Concepts, Analysis Methods 