{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T08:11:41Z","timestamp":1777536701129,"version":"3.51.4"},"reference-count":24,"publisher":"Elsevier BV","issue":"1","license":[{"start":{"date-parts":[[2001,9,1]],"date-time":"2001-09-01T00:00:00Z","timestamp":999302400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"},{"start":{"date-parts":[[2013,7,17]],"date-time":"2013-07-17T00:00:00Z","timestamp":1374019200000},"content-version":"vor","delay-in-days":4337,"URL":"https:\/\/www.elsevier.com\/open-access\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Science of Computer Programming"],"published-print":{"date-parts":[[2001,9]]},"DOI":"10.1016\/s0167-6423(00)00018-6","type":"journal-article","created":{"date-parts":[[2002,7,25]],"date-time":"2002-07-25T06:55:58Z","timestamp":1027580158000},"page":"53-84","source":"Crossref","is-referenced-by-count":97,"title":["Feature integration using a feature construct"],"prefix":"10.1016","volume":"41","author":[{"given":"Malte","family":"Plath","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Ryan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"key":"10.1016\/S0167-6423(00)00018-6_BIB1","volume":"Vol. 2.","author":"Barney","year":"1985"},{"key":"10.1016\/S0167-6423(00)00018-6_BIB2","unstructured":"M. Berry, Proving properties of the lift system. Master's Thesis, School of Computer Science, University of Birmingham, 1996."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB3","unstructured":"L.G. Bouma, H. Velthuijsen (Eds.), Feature Interactions in Telecommunications Systems, IOS Press, Amsterdam, The Netherlands, May 1994."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB4","unstructured":"K.E. Cheng, T. Ohta (Eds.), Feature Interactions in Telecommunications III, IOS Press, Tokyo, Japan, October 1995."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB5","unstructured":"A. Cimatti, E. Clarke, F. Giunchiglia, M. Roveri. NuSMV: a reimplementation of SMV, in: B. Steffen, T. Margaria (Eds.), Proc. Internat. Workshop on Software Tools for Technology Transfer (STTT-98), BRICS Notes Series, Aalborg, 1998, pp. 25\u201331, Available from http:\/\/afrodite.itc.it:1024\/\u00a0\u0303cimatti\/."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB6","first-page":"124","volume":"Vol. 803","author":"Clarke","year":"1993"},{"issue":"5","key":"10.1016\/S0167-6423(00)00018-6_BIB7","doi-asserted-by":"crossref","first-page":"1512","DOI":"10.1145\/186025.186051","article-title":"Model checking and abstraction","volume":"16","author":"Clarke","year":"1994","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0167-6423(00)00018-6_BIB8","unstructured":"P. Dini et al. (Eds.), Feature Interactions in Telecommunications and Distributed Systems IV, IOS Press, Montreal, Canada, June 1997."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB9","unstructured":"L. du Bousquet, F. Ouabdesselam, J.-L. Richier, N. Zuanon, Incremental feature validation: a synchronous point of view, in: K. Kimbler, L. G. Bouma (Eds.), Feature Interactions in Telecommunications and Software Systems V, IOS Press, Lund, Sweden, September 1998, pp. 262\u2013275."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB10","unstructured":"Formal Systems (Europe) Ltd, Oxford, UK, Failures-Divergence Refinement, October 1997."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB11","unstructured":"N. Griffeth (Ed.), 1st Internat. Workshop on Feature Interactions in Telecommunications Software Systems, St. Petersburg, Florida, USA, December 1992."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB12","series-title":"Communication Sequential Processes, International Series in Computer Science","author":"Hoare","year":"1985"},{"key":"10.1016\/S0167-6423(00)00018-6_BIB13","series-title":"Design and Validation of Computer Protocols","author":"Holzmann","year":"1991"},{"key":"10.1016\/S0167-6423(00)00018-6_BIB14","series-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"Huth","year":"1999"},{"key":"10.1016\/S0167-6423(00)00018-6_BIB15","unstructured":"ITU-T, Intelligent Network \u2013 ITU Recommendations Q.1200 Series, 1995."},{"issue":"2","key":"10.1016\/S0167-6423(00)00018-6_BIB16","doi-asserted-by":"crossref","first-page":"337","DOI":"10.1145\/169701.169682","article-title":"A superimposition control construct for distributed systems","volume":"15","author":"Katz","year":"1993","journal-title":"ACM Trans. Programming Languages Systems"},{"key":"10.1016\/S0167-6423(00)00018-6_BIB17","unstructured":"K. Kimbler, L.G. Bouma (Eds.), Feature Interactions in Telecommunications and Software Systems V, IOS Press, Lund, Sweden, September 1998."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB18","unstructured":"K. McMillan. The SMV language. Available from www-cad.eecs.berkeley.edu\/\u00a0\u0303kenmcmil, June 1998."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB19","series-title":"Symbolic Model Checking","author":"McMillan","year":"1993"},{"key":"10.1016\/S0167-6423(00)00018-6_BIB20","unstructured":"M.C. Plath, M.D. Ryan, Plug-and-play features, in: K. Kimbler, L.G. Bouma (Eds.), Feature Interactions in Telecommunications and Software Systems V, IOS Press, Lund, Sweden, September 1998, pp. 150\u2013164."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB21","unstructured":"M. Plath, M. Ryan, The semantics of a feature construct for SMV: a case study in non-monotonic composition, Tech. Rep., School of Computer Science, University of Birmingham, 1999. Available as ftp: \/\/ftp.cs.bham.ac.uk\/pub\/tech-reports\/1999\/CSR-99-10.ps.gz."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB22","first-page":"201","article-title":"SFI","author":"Plath","year":"1999","journal-title":"Adv. in Comput. Sci."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB23","unstructured":"M. Plath, M. Ryan, A feature construct for Promela, SPIN\u201998\u2013Proc. 4th SPIN Workshop, November 1998. Available as http:\/\/netlib.bell-labs.com\/netlib\/spin\/ws98\/plath.ps.gz."},{"key":"10.1016\/S0167-6423(00)00018-6_BIB24","unstructured":"A. Pnueli, Verification by finitary abstraction, SPIN\u201998 \u2013 Proc. 4th SPIN Workshop, November 1998. Available from www.wisdom.weizmann.ac.il\/\u00a0\u0303amir\/invited-talks.html."}],"container-title":["Science of Computer Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642300000186?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:S0167642300000186?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T06:51:43Z","timestamp":1556779903000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/S0167642300000186"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,9]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2001,9]]}},"alternative-id":["S0167642300000186"],"URL":"https:\/\/doi.org\/10.1016\/s0167-6423(00)00018-6","relation":{},"ISSN":["0167-6423"],"issn-type":[{"value":"0167-6423","type":"print"}],"subject":[],"published":{"date-parts":[[2001,9]]}}}