{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T23:40:06Z","timestamp":1746402006450,"version":"3.40.4"},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,8]]},"DOI":"10.1109\/re.2014.6912294","type":"proceedings-article","created":{"date-parts":[[2014,9,30]],"date-time":"2014-09-30T20:37:18Z","timestamp":1412109438000},"page":"428-436","source":"Crossref","is-referenced-by-count":13,"title":["Towards feature-oriented requirements validation for automotive systems"],"prefix":"10.1109","author":[{"given":"Jiale","family":"Zhou","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yue","family":"Lu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Kristina","family":"Lundqvist","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henrik","family":"Lonn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Karlsson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bo","family":"Liwang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"journal-title":"Pragmatic Approaches for Timing Analysis of Real-time Embedded Systems","year":"2012","author":"lu","key":"19"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2011.6051651"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1145\/2245276.2231942"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1145\/1347375.1347389"},{"journal-title":"A Formal Framework for Specification-based Embedded Realtime System Engineering","year":"2008","author":"ouimet","key":"15"},{"key":"16","article-title":"EAST-ADL-an architecture description language for automotive software-intensive systems","author":"blom","year":"2012","journal-title":"The EAST-ADL 2 Consortium Tech Rep"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-08311-7_5"},{"journal-title":"Tech Rep","article-title":"OMG unified modeling language (OMG UML), Infrastructure, V2.1.2","year":"2007","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-73031-6_28"},{"key":"12","first-page":"484","article-title":"A use case modeling approach to facilitate the transition towards analysis models: Concepts and empirical evaluation","author":"yue","year":"2009","journal-title":"Proceedings of MODELS'09"},{"key":"21","first-page":"33","article-title":"The pluss approach: Domain modeling with features, use cases and use case realizations","author":"eriksson","year":"2005","journal-title":"Proc of SPLC'05"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78743-3_2"},{"key":"20","first-page":"167","article-title":"Use case driven analysis of feature interactions","author":"kimbler","year":"1994","journal-title":"Feature Interactions in Telecommunications Systems"},{"journal-title":"Design and Use of Software Architectures Adopting and Evolving a Product-Line Approach","year":"2000","author":"bosch","key":"2"},{"key":"1","article-title":"Feature-oriented domain analysis (foda) feasibility study","author":"kang","year":"1990","journal-title":"Tech Rep"},{"key":"10","first-page":"274","article-title":"Feature description and feature interaction analysis with use case maps and lotos","author":"amyot","year":"2000","journal-title":"Proc FIW '00"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2012.6345807"},{"key":"6","first-page":"231","article-title":"Sat-based analysis of feature models is easy","author":"mendonca","year":"2009","journal-title":"Proceedings of SPLC'09"},{"key":"5","first-page":"87","article-title":"Ontology-based feature modeling and application-oriented tailoring","author":"peng","year":"2006","journal-title":"Proceedings of ICSR'06"},{"key":"4","first-page":"491","article-title":"Automated reasoning on feature models","author":"benavides","year":"2005","journal-title":"Proceedings of CAiSE'05"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1145\/1629716","author":"apel","year":"2009","journal-title":"An Overview of Feature-oriented Software Development"},{"key":"8","article-title":"Conflict detection in call control using firstorder logic model checking","author":"layouni","year":"2007","journal-title":"Proceedings of ICFI'07"}],"event":{"name":"2014 IEEE 22nd International Requirements Engineering Conference (RE)","start":{"date-parts":[[2014,8,25]]},"location":"Karlskrona, Sweden","end":{"date-parts":[[2014,8,29]]}},"container-title":["2014 IEEE 22nd International Requirements Engineering Conference (RE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6903646\/6912234\/06912294.pdf?arnumber=6912294","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T23:03:51Z","timestamp":1746399831000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6912294\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,8]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/re.2014.6912294","relation":{},"subject":[],"published":{"date-parts":[[2014,8]]}}}