{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:32:04Z","timestamp":1725485524617},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540001416"},{"type":"electronic","value":"9783540361350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-36135-9_11","type":"book-chapter","created":{"date-parts":[[2007,6,1]],"date-time":"2007-06-01T02:43:21Z","timestamp":1180665801000},"page":"162-177","source":"Crossref","is-referenced-by-count":7,"title":["Modelling SIP Services Using Cress"],"prefix":"10.1007","author":[{"given":"Kenneth J.","family":"Turner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,11,5]]},"reference":[{"key":"11_CR1","unstructured":"A. V. Aho, S. Gallagher, N. D. Griffeth, C. R. Schell, and D. F. Swayne. SCF3\/Sculptor with Chisel: Requirements engineering for communications services. In K. Kimbler and W. Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 45\u201363. IOS Press, Amsterdam, Netherlands, Sept. 1998."},{"key":"11_CR2","unstructured":"M. Calder and C. E. Shankland. A symbolic semantics and bisimulation for full Lotos. In M. Kim, B. Chin, S. Kang, and D. Lee, editors, Proc. Formal Techniques for Networked and Distributed Systems (FORTE XIV), pages 184\u2013200. Kluwer Academic Publishers, London, UK, Sept. 2001."},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"E. J. Cameron, N. D. Griffeth, Y.-J. Lin, M. E. Nilson, W. K. Schnure, and H. Velthuijsen. A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, pages 64\u201369, Mar. 1993.","DOI":"10.1109\/35.199613"},{"issue":"2","key":"11_CR4","first-page":"259","volume":"12","author":"B. Ouahidi El","year":"2000","unstructured":"B. El Ouahidi and M. Bouhdadi. Internet\/telecommunications integration: Towards INcapable SIP networks. Networks and Distributed Systems (R\u00e9seaux et Syst\u00e8mes R\u00e9partis), 12(2):259\u2013280, Oct. 2000.","journal-title":"Networks and Distributed Systems (R\u00e9seaux et Syst\u00e8mes R\u00e9partis)"},{"key":"11_CR5","unstructured":"N. D. Griffeth, R. B. Blumenthal, J.-C. Gregoire, and T. Ohta. Feature interaction detection contest. In K. Kimbler and W. Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 327\u2013359. IOS Press, Amsterdam, Netherlands, Sept. 1998."},{"key":"11_CR6","unstructured":"ITU. Packet-Based Multimedia Communication Systems. ITU-T H.323. International Telecommunications Union, Geneva, Switzerland, 2000."},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Ji He and K. J. Turner. Protocol-inspired hardware testing. In G. Csopaki, S. Dibuz, and K. Tarnay, editors, Proc. Testing Communicating Systems XII, pages 131\u2013147, London, UK, Sept. 1999. Kluwer Academic Publishers.","DOI":"10.1007\/978-0-387-35567-2_9"},{"key":"11_CR8","unstructured":"J. Lennox and H. Schulzrinne, editors. CPL: A Language for User Control of Internet Telephony Services. Internet Draft CPL-01. The Internet Society, NewYork, USA, Mar. 2000."},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"J. Rosenberg, H. Schulzrinne, G. Camarillo, A. Johnson, J. Peterson, R. Sparks, M. Handley, and E. Schooler, editors. SIP: Session Initiation Protocol. RFC 2543 bis 09. The Internet Society, NewYork, USA, Feb. 2002.","DOI":"10.17487\/rfc3261"},{"key":"11_CR10","volume-title":"Internet Communications using SIP","author":"H. Sinnreich","year":"2001","unstructured":"H. Sinnreich and A. B. Johnston. Internet Communications using SIP. JohnWiley and Sons, Chichester, UK, 2001."},{"key":"11_CR11","unstructured":"K. J. Turner. Validating architectural feature descriptions using Lotos. In K. Kimbler and W. Bouma, editors, Proc. 5th. Feature Interactions in Telecommunications and Software Systems, pages 247\u2013261, Amsterdam, Netherlands, Sept. 1998. IOS Press."},{"key":"11_CR12","unstructured":"K. J. Turner. Formalising the Chisel feature notation. In M. H. Calder and E. H. Magill, editors, Proc. 6th. Feature Interactions in Telecommunications and Software Systems, pages 241\u2013256, Amsterdam, Netherlands, May 2000. IOS Press."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Sytems \u2014 FORTE 2002"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36135-9_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T15:17:38Z","timestamp":1556464658000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-36135-9_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540001416","9783540361350"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-36135-9_11","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}