{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T23:53:52Z","timestamp":1725494032762},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540664994"},{"type":"electronic","value":"9783540482345"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/3-540-48234-2_10","type":"book-chapter","created":{"date-parts":[[2007,10,29]],"date-time":"2007-10-29T23:58:10Z","timestamp":1193702290000},"page":"136-151","source":"Crossref","is-referenced-by-count":0,"title":["Detecting Feature Interactions in the Terrestrial Trunked Radio (TETRA) Network Using Promela and Xspin"],"prefix":"10.1007","author":[{"given":"Carl B.","family":"Adekunle","sequence":"first","affiliation":[]},{"given":"Steve","family":"Schneider","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[1999,8,27]]},"reference":[{"key":"10_CR1","unstructured":"European Telecommunications Standards Institute. Radio Equipment and Systems (RES); Trans-European Trunked Radio (TETRA); Voice plus Data (V+D); Part 10: Supplementary Services Stage 1; Part 10-04: Call Diversion. ETS 300 392-10-04."},{"key":"10_CR2","unstructured":"European Telecommunications Standards Institute. Radio Equipment and Systems (RES); Trans-European Trunked Radio (TETRA); Voice plus Data (V+D); Part 11: Supplementary Services (SS) Stage 2; Part 11-19: Barring of Incoming Calls (BIC). ETS 300 392-11-19."},{"key":"10_CR3","unstructured":"Gerard J. Holzmann. Design and validation of computer protocols. Prentice Hall, 1990. ISBN 0-13-539925-4."},{"issue":"10","key":"10_CR4","doi-asserted-by":"publisher","first-page":"831","DOI":"10.1109\/32.729683","volume":"24","author":"M. Jackson","year":"1998","unstructured":"M. Jackson and P. Zave. Distributed Feature Composition: A Virtual Architecture for Telecommunications Services. IEEE Transactions on Software Engineering, 24(10):831\u2013847, October 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"issue":"10","key":"10_CR5","doi-asserted-by":"publisher","first-page":"779","DOI":"10.1109\/32.729680","volume":"24","author":"D.O. Keck","year":"1998","unstructured":"D.O. Keck and P.J. Kuehn. The Feature and Service Interaction Problem in Telecommunications Systems:A Survey. IEEE Transactions on Software Engineering, 24(10):779\u2013796, October 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR6","unstructured":"F. Joe Lin and Yow-Jian Lin. A Building Block Approach to Detecting and Resolving Feature Interaction. In W. Bouma and H. Velthuijsen editors, Feature Interactions in Telecommunication Systems, chapter 6, pages 86\u2013119. IOS Press, 1994."},{"key":"10_CR7","unstructured":"Zohar Manna and Amir Pnueli. The Temporal logic of Reactive and Concurrent Systems Specification. Springer-Verlag, 1991. ISBN 0-387-97664-7 (v. 1)."},{"issue":"10","key":"10_CR8","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1109\/32.729682","volume":"24","author":"S. Tsang","year":"1998","unstructured":"S. Tsang and E.H. Magill. Learning To Detect and Avoid Run-Time Feature Interactions in Intelligent Networks. IEEE Transactions on Software Engineering, 24(10):818\u2013830, October 1998.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"10_CR9","unstructured":"ETSI TC-RES. Radio Equipement and Systems (RES); Trans-European Trunked Radio (TETRA); Voice plus Data (V+D) Part 2: Air Interface (AI). European Telecommunications Standard, 1995. ETS 300 392-2."}],"container-title":["Lecture Notes in Computer Science","Theoretical and Practical Aspects of SPIN Model Checking"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-48234-2_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T12:28:17Z","timestamp":1547900897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-48234-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783540664994","9783540482345"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-48234-2_10","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[1999]]}}}