{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:37:31Z","timestamp":1725557851864},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540201755"},{"type":"electronic","value":"9783540399797"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/978-3-540-39979-7_2","type":"book-chapter","created":{"date-parts":[[2010,6,22]],"date-time":"2010-06-22T14:52:22Z","timestamp":1277218342000},"page":"15-30","source":"Crossref","is-referenced-by-count":3,"title":["Specifying and Realising Interactive Voice Services"],"prefix":"10.1007","author":[{"given":"Kenneth J.","family":"Turner","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","first-page":"45","volume-title":"Proc. 5th Feature Interactions in Telecommunications and Software Systems","author":"A.V. Aho","year":"1998","unstructured":"Aho, A.V., Gallagher, S., Griffeth, N.D., Schell, C.R., Swayne, D.F.: SCF3\/Sculptor with Chisel: Requirements engineering for communications services. In: Kimbler, K., Bouma, W. (eds.) Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 45\u201363. IOS Press, Amsterdam (1998)"},{"key":"2_CR2","first-page":"274","volume-title":"Proc. 6th Feature Interactions in Telecommunications and Software Systems","author":"D. Amyot","year":"2000","unstructured":"Amyot, D., Charfi, L., Gorse, N., Gray, T., Logrippo, L.M.S., Sincennes, J., Stepien, B., Ware, T.: Feature description and feature interaction analysis with use case maps and Lotos. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 274\u2013289. IOS Press, Amsterdam (2000)"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Cameron, E.J., Griffeth, N.D., Lin, Y.-J., Nilson, M.E., Schnure, W.K., Velthuijsen, H.: A feature-interaction benchmark for IN and beyond. IEEE Communications Magazine, 64\u201369 (1993)","DOI":"10.1109\/35.199613"},{"key":"2_CR4","unstructured":"Chan, K.Y., von Bochmann, G.: Methods for designing SIP services in SDL with fewer feature interactions. In: Amyot, D., Logrippo, L. (eds.) Proc. 7th Feature Interactions in Telecommunications and Software Systems, pp. 59\u201376. IOS Press, Amsterdam (2003)"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/978-0-387-35578-8_17","volume-title":"Proc. Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII\/PSTV XIX)","author":"J. He","year":"1999","unstructured":"He, J., Turner, K.J.: Specification and verification of synchronous hardware using Lotos. In: Wu, J., Chanson, S.T., Gao, Q. (eds.) Proc. Formal Methods for Protocol Engineering and Distributed Systems (FORTE XII\/PSTV XIX), pp. 295\u2013312. Kluwer Academic Publishers, London (1999)"},{"key":"2_CR6","first-page":"25","volume":"29","author":"J. Tretmans","year":"1996","unstructured":"Tretmans, J.: Conformance testing with labelled transition systems: Implementation relations and test generation. Computer Networks\u00a029, 25\u201359 (1996)","journal-title":"Computer Networks"},{"key":"2_CR7","first-page":"247","volume-title":"Proc. 5th Feature Interactions in Telecommunications and Software Systems","author":"K.J. Turner","year":"1998","unstructured":"Turner, K.J.: Validating architectural feature descriptions using Lotos. In: Kimbler, K., Bouma, W. (eds.) Proc. 5th Feature Interactions in Telecommunications and Software Systems, pp. 247\u2013261. IOS Press, Amsterdam (1998)"},{"key":"2_CR8","first-page":"241","volume-title":"Proc. 6th Feature Interactions in Telecommunications and Software Systems","author":"K.J. Turner","year":"2000","unstructured":"Turner, K.J.: Formalising the Chisel feature notation. In: Calder, M.H., Magill, E.H. (eds.) Proc. 6th Feature Interactions in Telecommunications and Software Systems, pp. 241\u2013256. IOS Press, Amsterdam (2000)"},{"key":"2_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1007\/3-540-36135-9_11","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"K.J. Turner","year":"2002","unstructured":"Turner, K.J.: Modelling SIP services using Cress. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 162\u2013177. Springer, Heidelberg (2002)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"SDL 2003: System Design","author":"K.J. Turner","year":"2003","unstructured":"Turner, K.J.: Formalising graphical service descriptions using SDL. In: Reed, R., Reed, J. (eds.) SDL 2003. LNCS, vol.\u00a02708, Springer, Heidelberg (2003)"},{"key":"2_CR11","unstructured":"Turner, K.J.: Representing newvoice services and their features. In: Amyot, D., Logrippo, L. (eds.) Proc. 7th Feature Interactions in Telecommunications and Software Systems, pp. 123\u2013140. IOS Press, Amsterdam (2003)"},{"key":"2_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/3-540-36135-9_6","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2002","author":"K.J. Turner","year":"2002","unstructured":"Turner, K.J., Bing, Q.: Protocol techniques for testing radiotherapy accelerators. In: Peled, D.A., Vardi, M.Y. (eds.) FORTE 2002. LNCS, vol.\u00a02529, pp. 81\u201396. Springer, Heidelberg (2002)"},{"key":"2_CR13","unstructured":"VoiceXML Forum. Voice eXtensible Markup Language. VoiceXML Version 1.0. VoiceXML Forum (March 2000)"}],"container-title":["Lecture Notes in Computer Science","Formal Techniques for Networked and Distributed Systems - FORTE 2003"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-39979-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,14]],"date-time":"2019-03-14T19:15:15Z","timestamp":1552590915000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-39979-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540201755","9783540399797"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-39979-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]}}}