{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T07:40:55Z","timestamp":1725608455051},"publisher-location":"Vienna","reference-count":12,"publisher":"Springer Vienna","isbn-type":[{"type":"print","value":"9783211832820"},{"type":"electronic","value":"9783709163559"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-7091-6355-9_15","type":"book-chapter","created":{"date-parts":[[2011,9,15]],"date-time":"2011-09-15T07:42:02Z","timestamp":1316072522000},"page":"201-216","source":"Crossref","is-referenced-by-count":6,"title":["SFI: a Feature Integration Tool"],"prefix":"10.1007","author":[{"given":"Malte","family":"Plath","sequence":"first","affiliation":[]},{"given":"Mark","family":"Ryan","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","volume-title":"Elevator Analysis, Design and Control","author":"GC Barney","year":"1985","unstructured":"Barney, G. C. and dos Santos, S. M. (1985). Elevator Analysis, Design and Control. IEE Control Engineering Series 2. Peter Peregrinus Ltd."},{"key":"15_CR2","unstructured":"Berry, M. (1996). Proving properties of the lift system. Master\u2019s thesis, School of Computer Science, University of Birmingham."},{"volume-title":"Feature Interactions in Telecommunications Systems","year":"1994","key":"15_CR3","unstructured":"Bouma, L. G. and Velthuijsen, H., editors (1994). Feature Interactions in Telecommunications Systems, Amsterdam, The Netherlands. IOS Press."},{"volume-title":"Feature Interactions in Telecommunications III","year":"1995","key":"15_CR4","unstructured":"Cheng, K. E. and Ohta, T., editors (1995). Feature Interactions in Telecommunications III, Tokyo, Japan. IOS Press."},{"key":"15_CR5","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-58043-3_19","volume-title":"A Decade of Concurrency","author":"E Clarke","year":"1993","unstructured":"Clarke, E., Grumberg, O., and Long, D. (1993). Verification tools for finite-state concurrent systems. In A Decade of Concurrency, number 803 in Lecture Notes in Computer Science, pages 124\u2013175. Springer Verlag."},{"volume-title":"Feature Interactions in Telecommunications and Distributed Systems IV","year":"1997","key":"15_CR6","unstructured":"Dini, P. et al., editors (1997). Feature Interactions in Telecommunications and Distributed Systems IV, Montreal, Canada. IOS Press."},{"volume-title":"1st International Workshop on Feature Interactions inTelecommunications Software Systems","year":"1992","key":"15_CR7","unstructured":"Griffeth, N., editor (1992). 1st International Workshop on Feature Interactions in Telecommunications Software Systems, St. Petersburg, Florida, USA."},{"key":"15_CR8","volume-title":"Logic in Computer Science: modelling and reasoning about systems","author":"MR Huth","year":"1998","unstructured":"Huth, M. R. and Ryan, M. D. (1998). Logic in Computer Science: modelling and reasoning about systems. Cambridge University Press. Book in preparation."},{"issue":"2","key":"15_CR9","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1145\/169701.169682","volume":"15","author":"S Katz","year":"1993","unstructured":"Katz, S. (1993). A superimposition control construct for distributed systems. ACM Transactions on Programming Languages and Systems,15(2):337\u2013356.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"volume-title":"Feature Interactions in Telecommunications and Software Systems V","year":"1998","key":"15_CR10","unstructured":"Kimbler, K. and Bouma, L. G., editors (1998). Feature Interactions in Telecommunications and Software Systems V, Lund, Sweden. IOS Press."},{"key":"15_CR11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6","volume-title":"Symbolic Model Checking","author":"KL McMillan","year":"1993","unstructured":"K.L. McMillan (1993). Symbolic Model Checking. Kluwer Academic Publishers."},{"key":"15_CR12","first-page":"150","volume-title":"Kimbler Bouma 1998","author":"M Plath","year":"1998","unstructured":"Plath, M. and Ryan, M. (1998). Plug-and-play features. In (Kimbler Bouma 1998), pages 150\u2013164."}],"container-title":["Tool Support for System Specification, Development and Verification"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-7091-6355-9_15.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,23]],"date-time":"2020-11-23T09:36:05Z","timestamp":1606124165000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-7091-6355-9_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783211832820","9783709163559"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-7091-6355-9_15","relation":{},"subject":[],"published":{"date-parts":[[1999]]}}}