{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:45:16Z","timestamp":1740123916061,"version":"3.37.3"},"reference-count":65,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2017,1,27]],"date-time":"2017-01-27T00:00:00Z","timestamp":1485475200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Telecommun Syst"],"published-print":{"date-parts":[[2017,9]]},"DOI":"10.1007\/s11235-016-0271-2","type":"journal-article","created":{"date-parts":[[2017,1,27]],"date-time":"2017-01-27T12:46:22Z","timestamp":1485521182000},"page":"75-93","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Formalizing REST APIs for web-based communication and SIP interworking"],"prefix":"10.1007","volume":"66","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2931-2804","authenticated-orcid":false,"given":"Federica","family":"Paganelli","sequence":"first","affiliation":[]},{"given":"Terence","family":"Ambra","sequence":"additional","affiliation":[]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[]},{"given":"Dino","family":"Giuli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,1,27]]},"reference":[{"key":"271_CR1","unstructured":"3GPP (2009) Open Service Access (OSA); Parlay X web services; Part 1: Common. 3GPP TS 29.199-01"},{"key":"271_CR2","doi-asserted-by":"publisher","unstructured":"Agarwal, S. (2012). Real-time web application roadblock: Performance penalty of html sockets. In: 2012 IEEE International Conference on Communications (ICC) (pp. 1225\u20131229). doi:\n                        10.1109\/ICC.2012.6364271","DOI":"10.1109\/ICC.2012.6364271"},{"key":"271_CR3","doi-asserted-by":"crossref","unstructured":"Aijaz, F., Ali, S., Chaudhary, M., & Walke, B. (2009). Enabling high performance mobile web services provisioning. In Vehicular Technology Conference Fall (VTC 2009-Fall), 2009 IEEE 70th (pp. 1\u20136).","DOI":"10.1109\/VETECF.2009.5378949"},{"key":"271_CR4","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1007\/978-3-642-19394-1_12","volume-title":"Service-oriented computing","author":"R Alarcon","year":"2011","unstructured":"Alarcon, R., Wilde, E., & Bellido, J. (2011). Hypermedia-driven restful service composition. Service-oriented computing (pp. 111\u2013120). Berlin: Springer."},{"key":"271_CR5","unstructured":"Alvestrand, H. (2013). Real Time Protocols for Browser-based Applications. Internet-Draft, IETF. \n                        http:\/\/tools.ietf.org\/html\/draft-ietf-rtcweb-overview-08"},{"issue":"4","key":"271_CR6","doi-asserted-by":"crossref","first-page":"42","DOI":"10.1109\/MCOM.2013.6495759","volume":"51","author":"A Amirante","year":"2013","unstructured":"Amirante, A., Castaldi, T., Miniero, L., & Romano, S. P. (2013). On the seamless interaction between webRTC browsers and SIP-based conferencing systems. IEEE Communications Magazine, 51(4), 42\u201347.","journal-title":"IEEE Communications Magazine"},{"key":"271_CR7","doi-asserted-by":"publisher","unstructured":"Amirante, A., Castaldi, T., Miniero, L., & Romano, S.P. (2014). Janus: A general purpose webrtc gateway. In Proceedings of the conference on principles, systems and applications of ip telecommunications, ACM, New York, NY, USA, IPTComm \u201914. (pp. 7:1\u20137:8). doi:\n                        10.1145\/2670386.2670389","DOI":"10.1145\/2670386.2670389"},{"key":"271_CR8","doi-asserted-by":"publisher","unstructured":"Bai, Y., Ye, X., & Ma, Y. (2011). Formal modeling and analysis of sip using colored petri nets. In 7th International conference on wireless communications, networking and mobile computing (WiCOM), 2011 (pp. 1\u20135). doi:\n                        10.1109\/wicom.2011.6040445","DOI":"10.1109\/wicom.2011.6040445"},{"issue":"14","key":"271_CR9","doi-asserted-by":"publisher","first-page":"1317","DOI":"10.1002\/spe.673","volume":"35","author":"M Becucci","year":"2005","unstructured":"Becucci, M., Fantechi, A., Giromini, M., & Spinicci, E. (2005). A comparison between handwritten and automatic generation of c code from sdl using static analysis. Software: Practice and Experience, 35(14), 1317\u20131347. doi:\n                        10.1002\/spe.673\n                        \n                    .","journal-title":"Software: Practice and Experience"},{"issue":"12","key":"271_CR10","doi-asserted-by":"crossref","first-page":"66","DOI":"10.1109\/MCOM.2011.6094008","volume":"49","author":"F Belqasmi","year":"2011","unstructured":"Belqasmi, F., Glitho, R., & Fu, C. (2011). Restful web services for service provisioning in next-generation networks: A survey. IEEE Communications Magazine, 49(12), 66\u201373.","journal-title":"IEEE Communications Magazine"},{"key":"271_CR11","unstructured":"Bergkvist, A., Burnett, D. C., Jennings, C. & Narayanan, A. (2012). WebRTC 1.0: Real-time Communication Between Browsers. W3C Working Draft, W3C, \n                        http:\/\/www.w3.org\/TR\/webrtc\/"},{"key":"271_CR12","doi-asserted-by":"publisher","unstructured":"Bond, G., Cheung, E., Fikouras, I., & Levenshteyn, R. (2009). Unified telecom and web services composition: Problem definition and future directions. In Proceedings of the 3rd international conference on principles, systems and applications of IP telecommunications, ACM, New York, NY, USA, IPTComm \u201909. (pp. 13:1\u201313:12). doi:\n                        10.1145\/1595637.1595654","DOI":"10.1145\/1595637.1595654"},{"key":"271_CR13","doi-asserted-by":"crossref","unstructured":"Bizer, C., Heath, T., & Berners-Lee, T. (2009). Linked data-the story so far. Journal on Semantic Web and Information Systems, 5(3), 1\u201322.","DOI":"10.4018\/jswis.2009081901"},{"key":"271_CR14","unstructured":"Chen, N., Chen, Z., Zheng, X., & Chen, G. (2013). Mobile cloud based system architecture for remote-resident multimedia discovery and access. In Web information system and application conference (WISA), 2013 10th (pp. 361\u2013364)"},{"issue":"3","key":"271_CR15","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1109\/MCOM.2008.4463784","volume":"46","author":"W Chou","year":"2008","unstructured":"Chou, W., Li, L., & Liu, F. (2008). Web services for communication over IP. IEEE Communications Magazine, 46(3), 136\u2013143. doi:\n                        10.1109\/MCOM.2008.4463784\n                        \n                    .","journal-title":"IEEE Communications Magazine"},{"issue":"2","key":"271_CR16","doi-asserted-by":"crossref","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"EM Clarke","year":"1986","unstructured":"Clarke, E. M., Emerson, E. A., & Sistla, A. P. (1986). Automatic verification of finite-state concurrent systems using temporal logic specifications. ACM Transactions on Programming Languages and Systems (TOPLAS), 8(2), 244\u2013263.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"271_CR17","doi-asserted-by":"publisher","unstructured":"Davids, C., Johnston, A., Singh, K., Sinnreich, H., & Wimmreuter, W. (2011). SIP APIs for voice and video communications on the web. In Proceedings of the 5th international conference on principles, systems and applications of IP telecommunications, ACM, New York, NY, USA, IPTcomm \u201911. (pp. 2:1\u20132:7). doi:\n                        10.1145\/2124436.2124439","DOI":"10.1145\/2124436.2124439"},{"key":"271_CR18","doi-asserted-by":"publisher","unstructured":"Ding, L.G., & Liu, L. (2008). applications and theory of petri nets: 29th international conference, PETRI NETS 2008, Xi\u2019an, China, June 23\u201327, 2008. In: Proceedings, Springer Berlin Heidelberg, Berlin, Heidelberg, chap Modelling and Analysis of the INVITE Transaction of the Session Initiation Protocol Using Coloured Petri Nets (pp. 132\u2013151). doi:\n                        10.1007\/978-3-540-68746_12","DOI":"10.1007\/978-3-540-68746_12"},{"key":"271_CR19","volume-title":"SOA principles of service design (The Prentice Hall service-oriented computing series from Thomas Erl)","author":"T Erl","year":"2007","unstructured":"Erl, T. (2007). SOA principles of service design (The Prentice Hall service-oriented computing series from Thomas Erl). Upper Saddle River, NJ: Prentice Hall PTR."},{"key":"271_CR20","doi-asserted-by":"crossref","unstructured":"Fette, I., & Melnikov, A. (2011). The WebSocket Protocol. RFC 6455, \n                        http:\/\/tools.ietf.org\/rfc\/rfc6455.txt","DOI":"10.17487\/rfc6455"},{"key":"271_CR21","unstructured":"Fielding, R. (2000). Architectural styles and the design of network-based software architectures. PhD Thesis."},{"key":"271_CR22","unstructured":"Fielding, R. T. (2008). REST API must be hypertext driven. \n                        http:\/\/roy.gbiv.com\/untangled\/2008\/rest-apis-must-be-hypertext-driven"},{"issue":"2","key":"271_CR23","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1145\/514183.514185","volume":"2","author":"RT Fielding","year":"2002","unstructured":"Fielding, R. T., & Taylor, R. N. (2002). Principled design of the modern web architecture. ACM Transactions on Internet Technology (TOIT), 2(2), 115\u2013150.","journal-title":"ACM Transactions on Internet Technology (TOIT)"},{"issue":"12","key":"271_CR24","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1109\/MCOM.2010.5673078","volume":"48","author":"C Fu","year":"2010","unstructured":"Fu, C., Belqasmi, F., & Glitho, R. (2010). RESTful web services for bridging presence service across technologies and domains: An early feasibility prototype. IEEE on Communications Magazine, 48(12), 92\u2013100. doi:\n                        10.1109\/MCOM.2010.5673078\n                        \n                    .","journal-title":"IEEE on Communications Magazine"},{"issue":"7","key":"271_CR25","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCOM.2007.382657","volume":"45","author":"D Griffin","year":"2007","unstructured":"Griffin, D., & Pesch, D. (2007). A survey on web services in telecommunications. IEEE on Communications Magazine, 45(7), 28\u201335. doi:\n                        10.1109\/MCOM.2007.382657\n                        \n                    .","journal-title":"IEEE on Communications Magazine"},{"issue":"2","key":"271_CR26","doi-asserted-by":"publisher","first-page":"140","DOI":"10.1016\/j.comcom.2010.03.029","volume":"34","author":"K Griffin","year":"2011","unstructured":"Griffin, K., & Flanagan, C. (2011). Defining a call control interface for browser-based integrations using representational state transfer. Computer Communications, 34(2), 140\u2013149. doi:\n                        10.1016\/j.comcom.2010.03.029\n                        \n                    .","journal-title":"Computer Communications"},{"key":"271_CR27","unstructured":"Hameseder, K., Fowler, S., & Peterson, A. (2011). Performance analysis of ubiquitous web systems for smartphones. In 2011 International symposium on performance evaluation of computer telecommunication systems (SPECTS) (pp. 84\u201389)"},{"key":"271_CR28","doi-asserted-by":"crossref","unstructured":"Handley, M., & Jacobson, V. (1998). SDP: Session Description Protocol. RFC 2327, \n                        http:\/\/www.ietf.org\/rfc\/rfc2327.txt","DOI":"10.17487\/rfc2327"},{"key":"271_CR29","volume-title":"Spin model checker, the: Primer and reference manual","author":"G Holzmann","year":"2003","unstructured":"Holzmann, G. (2003). Spin model checker, the: Primer and reference manual (1st ed.). Reading, MA: Addison-Wesley.","edition":"1"},{"key":"271_CR30","doi-asserted-by":"publisher","unstructured":"Huang, M., & Zhu, L. (2012). Research for network fault real-time alarm system based on pushlet. In 2012 International conference on industrial control and electronics engineering (ICICEE)  (pp. 212\u2013215). doi:\n                        10.1109\/ICICEE.2012.63","DOI":"10.1109\/ICICEE.2012.63"},{"key":"271_CR31","unstructured":"IBM Rhapsody (2013) \n                        http:\/\/www-03.ibm.com\/software\/products\/en\/ratirhapfami"},{"key":"271_CR32","doi-asserted-by":"publisher","unstructured":"Imre, G. & Mezei, G. (2016). Introduction to a websocket benchmarking infrastructure. In 2016 Zooming innovation in consumer electronics international conference (ZINC) (pp. 84\u201387). doi:\n                        10.1109\/ZINC.2016.7513661\n                        \n                    .","DOI":"10.1109\/ZINC.2016.7513661"},{"issue":"1","key":"271_CR33","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1109\/MNET.2013.6423190","volume":"27","author":"S Islam","year":"2013","unstructured":"Islam, S., & Gregoire, J. (2013). Converged access of IMS and web services: A virtual client model. IEEE Network, 27(1), 37\u201344.","journal-title":"IEEE Network"},{"key":"271_CR34","unstructured":"Ivanov, I. (2008). Mobicents Communication Platform. \n                        http:\/\/www.mobicents.org\/index.html"},{"key":"271_CR35","doi-asserted-by":"publisher","unstructured":"Juneau, J. (2013). New Servlet Features. In Introducing Java EE 7, Apress (pp. 1\u201314). doi:\n                        10.1007\/978-1-4302-5849-0_1\n                        \n                    .","DOI":"10.1007\/978-1-4302-5849-0_1"},{"key":"271_CR36","doi-asserted-by":"publisher","unstructured":"Kellokoski, J., Tukia, E., Wallenius, E., Hamalainen, T., & Naarmala, J. (2010). Call and messaging performance comparison between IMS and SIP networks. In 2010 IEEE 4th international conference on internet multimedia services architecture and application (IMSAA),  (pp. 1\u20135). doi:\n                        10.1109\/IMSAA.2010.5729396\n                        \n                    .","DOI":"10.1109\/IMSAA.2010.5729396"},{"key":"271_CR37","doi-asserted-by":"crossref","unstructured":"Li, L., & Chou, W. (2010). Design Patterns for RESTful Communication Web Services. In 2010 IEEE international conference on Web Services (ICWS) (pp. 512\u2013519).","DOI":"10.1109\/ICWS.2010.101"},{"key":"271_CR38","doi-asserted-by":"crossref","unstructured":"Li, L. & Zhang, X. (2012). Research on the integration of RTCWeb technology with IP multimedia subsystem. In Image and Signal Processing (CISP), 2012 5th International Congress on, IEEE (pp. 1158\u20131161).","DOI":"10.1109\/CISP.2012.6469705"},{"key":"271_CR39","doi-asserted-by":"publisher","unstructured":"Lozano, D., Galindo, L. A., & Garc\u00eda, L. (2008). WIMS 2.0: Converging IMS and Web 2.0. Designing REST APIs for the Exposure of Session-Based IMS Capabilities. In Proceedings of the 2008 the second international conference on next generation mobile applications, services, and technologies, IEEE Computer Society, Washington, DC, USA, NGMAST \u201908 (pp. 18\u201324). doi:\n                        10.1109\/NGMAST.2008.97\n                        \n                    .","DOI":"10.1109\/NGMAST.2008.97"},{"key":"271_CR40","unstructured":"Mazzanti, F. (2015). UMC model checker. \n                        http:\/\/fmt.isti.cnr.it\/umc\/V4.11\/umc.html"},{"issue":"2","key":"271_CR41","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1007\/s13174-011-0028-9","volume":"2","author":"C Menkens","year":"2011","unstructured":"Menkens, C., & Wuertinger, M. (2011). From service delivery to integrated SOA based application delivery in the telecommunication industry. Journal of Internet Services and Applications, 2(2), 95\u2013111.","journal-title":"Journal of Internet Services and Applications"},{"issue":"8","key":"271_CR42","doi-asserted-by":"crossref","first-page":"96","DOI":"10.1109\/MCOM.2010.5534593","volume":"48","author":"T Moriya","year":"2010","unstructured":"Moriya, T., & Akahani, J. (2010). Application programming gap between telecommunication and internet. IEEE Communications Magazine, 48(8), 96\u2013102.","journal-title":"IEEE Communications Magazine"},{"issue":"5","key":"271_CR43","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1109\/MCOM.2009.4939285","volume":"47","author":"C Mulligan","year":"2009","unstructured":"Mulligan, C. (2009). Open API standardization for the NGN platform. IEEE Communications Magazine, 47(5), 108\u2013113. doi:\n                        10.1109\/MCOM.2009.4939285\n                        \n                    .","journal-title":"IEEE Communications Magazine"},{"key":"271_CR44","doi-asserted-by":"publisher","unstructured":"Nicolas, G., Sbata, K., & Najm, E. (2011). Architecting end-to-end convergence of web and Telco services. In Proceedings of the 13th international conference on information integration and web-based applications and services, ACM, New York, NY, USA, iiWAS \u201911 (pp. 98\u2013105). doi:\n                        10.1145\/2095536.2095555\n                        \n                    .","DOI":"10.1145\/2095536.2095555"},{"key":"271_CR45","unstructured":"OMA (2006). OMA Web Services Enabler OWSER Core Specification. Approved Version 1.1, Open Mobile Alliance"},{"key":"271_CR46","unstructured":"OMA. (2012). Enabler Release Definition for RESTful bindings for Parlay X Web Services. Tech. Rep.\u00a0V2, Open Mobile Alliance, \n                        http:\/\/technical.openmobilealliance.org\/Technical\/release_program\/docs\/CopyrightClick.aspx?pck=ParlayREST&file=V2_0-20120724-A\/OMA-ERELD-ParlayREST-V2_0-20120724-A.pdf"},{"key":"271_CR47","unstructured":"OMA. (2015). RESTful Network API for WebRTC Signaling. Tech. Rep. V1.0, Open Mobile Alliance"},{"key":"271_CR48","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/JSYST.2014.2354835","volume":"99","author":"F Paganelli","year":"2014","unstructured":"Paganelli, F., Turchi, S., & Giuli, D. (2014). A web of things framework for RESTful applications and its experimentation in a smart city. Systems Journal IEEE, 99, 1\u201312. doi:\n                        10.1109\/JSYST.2014.2354835\n                        \n                    .","journal-title":"Systems Journal IEEE"},{"key":"271_CR49","doi-asserted-by":"publisher","unstructured":"Parastatidis, S., Webber, J., Silveira, G., & Robinson, I.S. (2010). The role of hypermedia in distributed system development. In Proceedings of the first international workshop on RESTful design, ACM, New York, NY, USA, WS-REST \u201910 (pp. 16\u201322). doi:\n                        10.1145\/1798354.1798379\n                        \n                    .","DOI":"10.1145\/1798354.1798379"},{"issue":"4","key":"271_CR50","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1109\/MIC.2012.64","volume":"16","author":"V Pimentel","year":"2012","unstructured":"Pimentel, V., & Nickerson, B. (2012). Communicating and displaying real-time data with websocket. IEEE Internet Computing, 16(4), 45\u201353. doi:\n                        10.1109\/MIC.2012.64\n                        \n                    .","journal-title":"IEEE Internet Computing"},{"key":"271_CR51","doi-asserted-by":"crossref","unstructured":"Porres, I., & Rauf, I. (2011). Modeling behavioral restful web service interfaces in uml. In Proceedings of the 2011 ACM symposium on applied computing, ACM (pp. 1598\u20131605).","DOI":"10.1145\/1982185.1982521"},{"key":"271_CR52","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1109\/COMST.2014.2345792","volume":"99","author":"J Qadir","year":"2014","unstructured":"Qadir, J., & Hasan, O. (2014). Applying formal methods to networking: Theory, techniques and applications. IEEE Communications Surveys Tutorials, 99, 1\u20131. doi:\n                        10.1109\/COMST.2014.2345792\n                        \n                    .","journal-title":"IEEE Communications Surveys Tutorials"},{"key":"271_CR53","volume-title":"RESTful web services","author":"L Richardson","year":"2007","unstructured":"Richardson, L., & Ruby, S. (2007). RESTful web services. Sebastopol: OReilly & Associates."},{"key":"271_CR54","doi-asserted-by":"crossref","unstructured":"Rosenberg, J. (2010). Interactive Connectivity Establishment (ICE): A Protocol for Network Address Translator (NAT) Traversal for Offer\/Answer Protocol. RFC 5245, \n                        http:\/\/www.ietf.org\/rfc\/rfc5245.txt","DOI":"10.17487\/rfc5245"},{"key":"271_CR55","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., & Schulzrinne, H. (2002). An Offer\/Answer Model with Session Description Protocol (SDP). RFC 3264 (Proposed Standard), \n                        http:\/\/www.ietf.org\/rfc\/rfc3264.txt","DOI":"10.17487\/rfc3264"},{"key":"271_CR56","doi-asserted-by":"crossref","unstructured":"Rosenberg, J., Schulzrinne, H., Camarillo, G., Johnston, A., Peterson, J., Sparks, R., Handley, M., & Schooler, E. (2002). SIP: session initiation protocol. RFC 3261, \n                        http:\/\/www.ietf.org\/rfc\/rfc3261.txt","DOI":"10.17487\/rfc3261"},{"key":"271_CR57","doi-asserted-by":"publisher","unstructured":"Sege, P., Palch, P., Papn, J., & Kubina, M. (2014). The integration of webrtc and sip: Way of enhancing real-time, interactive multimedia communication. In 2014 IEEE 12th international conference on emerging elearning technologies and applications (ICETA)  (pp. 437\u2013442). doi:\n                        10.1109\/ICETA.2014.7107624\n                        \n                    .","DOI":"10.1109\/ICETA.2014.7107624"},{"issue":"4","key":"271_CR58","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1109\/MCOM.2013.6495757","volume":"51","author":"K Singh","year":"2013","unstructured":"Singh, K., & Krishnaswamy, V. (2013). A case for sip in javascript. IEEE Communications Magazine, 51(4), 28\u201333. doi:\n                        10.1109\/MCOM.2013.6495757\n                        \n                    .","journal-title":"IEEE Communications Magazine"},{"issue":"6","key":"271_CR59","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1007\/s00502-010-0742-l","volume":"127","author":"H Sinnreich","year":"2010","unstructured":"Sinnreich, H., & Wimmreuter, W. (2010). Communications on the web. Elektrotechnik und Informationstechnik, 127(6), 187\u2013194. doi:\n                        10.1007\/s00502-010-0742-l\n                        \n                    .","journal-title":"Elektrotechnik und Informationstechnik"},{"key":"271_CR60","unstructured":"SIPp (2012). SIPp: Open Source test tool\/traffic generator for the SIP protocol. \n                        http:\/\/sipp.sourceforge.net\/"},{"key":"271_CR61","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-79707-4_11","volume-title":"Formal methods for industrial critical systems, lecture notes in computer science","author":"M Beek ter","year":"2008","unstructured":"ter Beek, M., Fantechi, A., Gnesi, S., & Mazzanti, F. (2008). An action\/state-based model-checking approach for the analysis of communication protocols for service-oriented applications. In S. Leue & P. Merino (Eds.), Formal methods for industrial critical systems, lecture notes in computer science (Vol. 4916, pp. 133\u2013148). Berlin: Springer. doi:\n                        10.1007\/978-3-540-79707-4_11\n                        \n                    ."},{"key":"271_CR62","doi-asserted-by":"publisher","unstructured":"ter Beek, M. H., Mazzanti, F., & Gnesi, S. (2009). CMC-UMC: A framework for the verification of abstract service-oriented properties. In Proceedings of the 2009 ACM symposium on applied computing, ACM, New York, NY, USA, SAC \u201909. (pp. 2111\u20132117). doi:\n                        10.1145\/1529282.1529751","DOI":"10.1145\/1529282.1529751"},{"key":"271_CR63","unstructured":"Vingarzan, D., et al. (2007). IMS\/NGN Performance Benchmark Part 2: Subsystem Configurations and Benchmarks. \n                        http:\/\/webapp.etsi.org\/workprogram\/Report_WorkItem.asp?WKI_ID=25501\n                        \n                    , eTSI\/TISPAN 6 Workitem 06024-2"},{"key":"271_CR64","doi-asserted-by":"crossref","first-page":"256","DOI":"10.1007\/978-3-540-89054-6_13","volume-title":"Principles, systems and applications of IP telecommunications. Services and security for next generation networks, lecture notes in computer science","author":"P Zave","year":"2008","unstructured":"Zave, P. (2008). Understanding sip through model-checking. In H. Schulzrinne, R. State, & S. Niccolini (Eds.), Principles, systems and applications of IP telecommunications. Services and security for next generation networks, lecture notes in computer science (pp. 256\u2013279). Berlin: Springer."},{"issue":"4","key":"271_CR65","first-page":"353","volume":"10","author":"I Zuzak","year":"2011","unstructured":"Zuzak, I., Budiselic, I., & Delac, G. (2011). A finite-state machine approach for modeling and analyzing RESTful systems. Journal of Web Engineering, 10(4), 353\u2013390.","journal-title":"Journal of Web Engineering"}],"container-title":["Telecommunication Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11235-016-0271-2\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11235-016-0271-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11235-016-0271-2.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,7,25]],"date-time":"2017-07-25T13:55:33Z","timestamp":1500990933000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11235-016-0271-2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,27]]},"references-count":65,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,9]]}},"alternative-id":["271"],"URL":"https:\/\/doi.org\/10.1007\/s11235-016-0271-2","relation":{},"ISSN":["1018-4864","1572-9451"],"issn-type":[{"type":"print","value":"1018-4864"},{"type":"electronic","value":"1572-9451"}],"subject":[],"published":{"date-parts":[[2017,1,27]]}}}