{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T00:40:25Z","timestamp":1736556025436,"version":"3.32.0"},"reference-count":14,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2006,9,26]],"date-time":"2006-09-26T00:00:00Z","timestamp":1159228800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Int J Softw Tools Technol Transfer"],"published-print":{"date-parts":[[2007,2,7]]},"DOI":"10.1007\/s10009-006-0006-x","type":"journal-article","created":{"date-parts":[[2006,9,25]],"date-time":"2006-09-25T12:46:37Z","timestamp":1159188397000},"page":"53-62","source":"Crossref","is-referenced-by-count":3,"title":["Model-checking the preservation of temporal properties upon feature integration"],"prefix":"10.1007","volume":"9","author":[{"given":"Dimitar P.","family":"Guelev","sequence":"first","affiliation":[]},{"given":"Mark D.","family":"Ryan","sequence":"additional","affiliation":[]},{"given":"Pierre Yves","family":"Schobbens","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,9,26]]},"reference":[{"key":"6_CR1","unstructured":"Amyot D., Logrippo L. (eds): Feature Interactions in Telecommunications and Software Systems VII. IOS Press (2003)"},{"key":"6_CR2","doi-asserted-by":"crossref","unstructured":"Armoni R., Fix L., Flaisher A., Gerth R., Ginsburg B., Kanza T., Landver A., Mador-Haim S., Singerman E., Tiemeyer A., Vardi M.Y., Zbar Y.: The ForSpec temporal logic: a new temporal property-specification language. In: Proceedings of TACAS\u201902, LNCS, vol. 2280, pp. 296\u2013311. Springer, Berlin Heidelberg New York (2002)","DOI":"10.1007\/3-540-46002-0_21"},{"key":"6_CR3","unstructured":"Bouma L., Zuidweg J.: Formal analysis of feature interactions by model checking. In: Proceedings First International Workshop on Feature Interactions in Telecommunications Systems. St. Petersburg, FL, USA (1992)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"du Bousquet L.: Feature interaction detection using testing and model-checking: experience report. In: Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems, Lecture Notes In Computer Science, vol. 1, pp. 622\u2013641 (1999)","DOI":"10.1007\/3-540-48119-2_35"},{"key":"6_CR5","unstructured":"Calder M., Magill E. (eds.): Feature Interactions in Telecommunications and Software Systems VI. IOS Press (2000)"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Calder M., Miller A.: Using SPIN for feature interaction analysis\u2014a case study. In: Proceedings of the 8th International SPIN Workshop on Model Checking of Software (SPIN\u20192001), LNCS, vol. 2057, pp. 143\u2013162. Toronto, Canada (2001)","DOI":"10.1007\/3-540-45139-0_9"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Halpern J., Manna Z., Moszkowski B.: A hardware semantics based on temporal intervals. In: Proceedings of ICALP\u201983, LNCS, vol. 154, pp. 278\u2013291. Springer, Berlin Heidelberg New York (1983)","DOI":"10.1007\/BFb0036915"},{"key":"6_CR8","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511810275","volume-title":"Logic in Computer Science: Modelling and Reasoning about Systems","author":"M.R. Huth","year":"2004","unstructured":"Huth M.R., Ryan M.D. (2004) Logic in Computer Science: Modelling and Reasoning about Systems, 2nd edn. Cambridge University Press, Cambridge","edition":"2"},{"key":"6_CR9","doi-asserted-by":"crossref","unstructured":"Laroussinie F., Markey N., Schnoebelen P.: Temporal logic with forgettable past. In: 17th Annual IEEE Symposium on Logic in Computer Science (LICS\u201902), pp. 383\u2013392. IEEE Computer Society Press (2002)","DOI":"10.1109\/LICS.2002.1029846"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Lichtenstein O., Pnueli A., Zuck L.: The glory of the past. In: Proceedings of the Confenerence on Logic of Programs, LNCS, vol. 193, pp. 196\u2013218. Springer, Berlin Heidelberg New York (1985)","DOI":"10.1007\/3-540-15648-8_16"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Manna Z., Pnueli A.: The anchored version of the temporal framework. In: De Bakker J., de Roever W.P., Rozenberg G. (eds.) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, LNCS, vol. 354, pp. 201\u2013284. Springer, Berlin Heidelberg New York (1989)","DOI":"10.1007\/BFb0013024"},{"key":"6_CR12","doi-asserted-by":"crossref","unstructured":"McMillan K.L.: Symbolic Model Checking. Kluwer, (1993)","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Plath M.C., Ryan M.D.: SFI: a feature integration tool. In: Berghammer R., Lakhnech Y. (eds.) Tool Support for System Specification, Development and Verification, Advances in Computing Science, pp. 201\u2013216. Springer, Berlin Heidelberg New York (1999)","DOI":"10.1007\/978-3-7091-6355-9_15"},{"key":"6_CR14","doi-asserted-by":"crossref","unstructured":"Plath M.C., Ryan M.D.: Feature integration using a feature construct. Sci Comput Progr (2001)","DOI":"10.1016\/S0167-6423(00)00018-6"}],"container-title":["International Journal on Software Tools for Technology Transfer"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0006-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10009-006-0006-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10009-006-0006-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,11]],"date-time":"2025-01-11T00:03:27Z","timestamp":1736553807000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10009-006-0006-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,26]]},"references-count":14,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2007,2,7]]}},"alternative-id":["6"],"URL":"https:\/\/doi.org\/10.1007\/s10009-006-0006-x","relation":{},"ISSN":["1433-2779","1433-2787"],"issn-type":[{"type":"print","value":"1433-2779"},{"type":"electronic","value":"1433-2787"}],"subject":[],"published":{"date-parts":[[2006,9,26]]}}}