Abed, S. , Shayeji, M. , Ahmed, O. , Alouneh, S. (2016), 'Formal Specification and Description Language and Message Sequence Chart to Model and Validate Session Initiation Protocol Services', World Academy of Science, Engineering and Technology, Open Science Index 111, International Journal of Computer and Information Engineering, 10(3), 534 - 542.