{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2023,1,13]],"date-time":"2023-01-13T02:15:12Z","timestamp":1673576112928},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"5","license":[{"start":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T00:00:00Z","timestamp":1379548800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Front. Comput. Sci."],"published-print":{"date-parts":[[2013,10]]},"DOI":"10.1007\/s11704-013-3094-6","type":"journal-article","created":{"date-parts":[[2013,9,19]],"date-time":"2013-09-19T11:00:40Z","timestamp":1379588440000},"page":"650-672","source":"Crossref","is-referenced-by-count":2,"title":["Scenario-based verification in presence of variability using a synchronous approach"],"prefix":"10.1007","volume":"7","author":[{"given":"Jean-Vivien","family":"Millo","sequence":"first","affiliation":[]},{"given":"Fr\u00e9d\u00e9ric","family":"Mallet","sequence":"additional","affiliation":[]},{"given":"Anthony","family":"Coadou","sequence":"additional","affiliation":[]},{"given":"S.","family":"Ramesh","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2013,9,19]]},"reference":[{"key":"3094_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-71437-8","volume-title":"Software product lines in action","author":"V d F Linden","year":"2007","unstructured":"Linden V d F, Schmid K, Rommes E. Software product lines in action. Springer-Verlag, 2007"},{"key":"3094_CR2","volume-title":"Proceedings of the International Conference on Feature Interactions in Software and Communication Systems (ICFI)","author":"A Classen","year":"2007","unstructured":"Classen A. Problem-oriented feature interaction detection in software product lines. In: Proceedings of the International Conference on Feature Interactions in Software and Communication Systems (ICFI). 2007"},{"key":"3094_CR3","first-page":"33","volume-title":"Proceedings of the International Conference on Feature Interactions in Software and Communication Systems (ICFI)","author":"R S S Filho","year":"2007","unstructured":"Filho R S S, Redmiles D F. Managing feature interaction by documenting and enforcing dependencies in software product lines. In: Proceedings of the International Conference on Feature Interactions in Software and Communication Systems (ICFI). 2007, 33\u201348"},{"issue":"1","key":"3094_CR4","doi-asserted-by":"crossref","first-page":"64","DOI":"10.1109\/JPROC.2002.805826","volume":"91","author":"A Benveniste","year":"2003","unstructured":"Benveniste A, Caspi P, Edwards S A, Halbwachs N, Le Guernic P, Simone d R. The synchronous languages 12 years later. Proceedings of the IEEE, 2003, 91(1): 64\u201383","journal-title":"Proceedings of the IEEE"},{"key":"3094_CR5","unstructured":"The Esterel Team. Esterel Compiler 5.92. http:\/\/www-sop.inria.fr\/esterel-org\/filesv5-92\/"},{"key":"3094_CR6","volume-title":"Message sequence chart: syntax and semantics","author":"M A Reniers","year":"1999","unstructured":"Reniers M A. Message sequence chart: syntax and semantics. PhD thesis, Eindhoven University of Technology, 1999"},{"key":"3094_CR7","volume-title":"OMG unified modeling language (OMG UML), Superstructure","author":"Object Management Group.","year":"2007","unstructured":"Object Management Group. OMG unified modeling language (OMG UML), Superstructure, V2.1.2. 2007"},{"key":"3094_CR8","doi-asserted-by":"crossref","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W Damm","year":"2001","unstructured":"Damm W, Harel D. LSCs: breathing life into message sequence charts. Formal Methods in System Design, 2001, 19: 45\u201380","journal-title":"Formal Methods in System Design"},{"key":"3094_CR9","volume-title":"Modelling system families with message sequence charts: a case study","author":"S Wagner","year":"2004","unstructured":"Wagner S, Cengarle M V, Graubmann P. Modelling system families with message sequence charts: a case study. Technical Report TUMI0416, Technische Universit\u00e4t M\u00fcnchen, 2004"},{"key":"3094_CR10","volume-title":"Proceedings of the International Workshop on Product Family Engineering (PFE-5)","author":"T Ziadi","year":"2003","unstructured":"Ziadi T, Helou\u00ebt L, J\u00e9z\u00e9quel J M. Towards a UML profile for software product lines. In: Proceedings of the International Workshop on Product Family Engineering (PFE-5). 2003"},{"key":"3094_CR11","doi-asserted-by":"crossref","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume-title":"Model Driven Engineering Languages and Systems","author":"C Andr\u00e9","year":"2007","unstructured":"Andr\u00e9 C, Mallet F, Simoned R. Modeling time(s). Model Driven Engineering Languages and Systems. 2007, 559\u2013573"},{"key":"3094_CR12","first-page":"1","volume":"Q1\u201999","author":"J O\u2019Leary","year":"1999","unstructured":"O\u2019Leary J, Zhao X, Gerth R, Seger C J H. Formally verifying ieee compliance of floating-point hardware. Intel Technology Journal, 1999, Q1\u201999: 1\u201314","journal-title":"Intel Technology Journal"},{"key":"3094_CR13","doi-asserted-by":"crossref","first-page":"84","DOI":"10.1007\/3-540-48683-6_10","volume-title":"Proceedings of the International Conference on Computer Aided Verification (CAV\u201999)","author":"S Ramesh","year":"1999","unstructured":"Ramesh S, Bhaduri P. Validation of pipelined processor designs using Esterel tools: a case study. In: Proceedings of the International Conference on Computer Aided Verification (CAV\u201999). 1999, 84\u201395"},{"key":"3094_CR14","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1145\/1509239.1509258","volume-title":"Proceedings of the International Conference on Aspect-oriented software development (AOSD\u201909)","author":"R Bonif\u00e1cio","year":"2009","unstructured":"Bonif\u00e1cio R, Borba P. Modeling scenario variability as crosscutting mechanisms. In: Proceedings of the International Conference on Aspect-oriented software development (AOSD\u201909). 2009, 125\u2013136"},{"key":"3094_CR15","volume-title":"Proceedings of the ACM\/IEEE International Conference on Software Engineering (ICSE)","author":"M Cordy","year":"2013","unstructured":"Cordy M, Schobbens P Y, Heymans P, Legay A. Beyond boolean product-line model checking: dealing with feature attributes and multifeatures. In: Proceedings of the ACM\/IEEE International Conference on Software Engineering (ICSE). 2013"},{"key":"3094_CR16","volume-title":"Proceedings of the International Conference on Integrated Formal Method, iFM","author":"J V Millo","year":"2013","unstructured":"Millo J V, Ramesh S, Sankaranarayanan K, Narwane G K. Compositional verification of software product line. In: Proceedings of the International Conference on Integrated Formal Method, iFM. 2013"},{"key":"3094_CR17","first-page":"113","volume-title":"Proceedings of the FMOODS","author":"A Gruler","year":"2008","unstructured":"Gruler A, Leucker M, Scheidemann K D. Modeling and model checking software product lines. In: Proceedings of the FMOODS. 2008: 113\u2013131"},{"key":"3094_CR18","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/s10515-010-0075-7","volume":"18","author":"J Liu","year":"2011","unstructured":"Liu J, Basu S, Lutz R. Compositional model checking of software product lines using variation point obligations. Automated Software Engineering, 2011, 18: 39\u201376. 10.1007\/s10515-010-0075-7","journal-title":"Automated Software Engineering"},{"key":"3094_CR19","first-page":"269","volume-title":"Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, ASE","author":"K Lauenroth","year":"2009","unstructured":"Lauenroth K, Pohl K, Toehning S. Model checking of domain artifacts in product line engineering. In: Proceedings of the IEEE\/ACM International Conference on Automated Software Engineering, ASE. 2009, 269\u2013280"},{"key":"3094_CR20","volume-title":"Proceedings of the International Conference on Requirement Engineering (RE)","author":"J Greenyer","year":"2012","unstructured":"Greenyer J, Sharifloo A M, Cordy M, Heymans P. Efficient consistency checking of scenario-based product-line specifications. In: Proceedings of the International Conference on Requirement Engineering (RE). 2012"},{"key":"3094_CR21","volume-title":"SyncCharts: a visual representation of reactive behaviors","author":"C Andr\u00e9","year":"1996","unstructured":"Andr\u00e9 C. SyncCharts: a visual representation of reactive behaviors. Technical Report RR 96-56, I3S, Sophia-Antipolis, France, 1996"},{"key":"3094_CR22","volume-title":"Synchronous interface behavior: syntax and semantics","author":"C Andr\u00e9","year":"2000","unstructured":"Andr\u00e9 C. Synchronous interface behavior: syntax and semantics. Technical Report RR 00-11, I3S, Sophia-Antipolis, France, 2000"},{"key":"3094_CR23","first-page":"438","volume-title":"Proceedings of ISORC","author":"C Andr\u00e9","year":"2001","unstructured":"Andr\u00e9 C, P\u00e9raldi M A, Rigault J P. Scenario and property checking of real-time systems using a synchronous approach. In: Proceedings of ISORC. 2001, 438\u2013444"},{"issue":"9","key":"3094_CR24","doi-asserted-by":"crossref","first-page":"1270","DOI":"10.1109\/5.97297","volume":"79","author":"A Benveniste","year":"1991","unstructured":"Benveniste A, Berry G. The synchronous approach to reactive and realtime systems. Proceedings of the IEEE, 1991, 79(9): 1270\u20131282","journal-title":"Proceedings of the IEEE"},{"key":"3094_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2231-4","volume-title":"Synchronous programming of reactive systems","author":"N Halbwachs","year":"1993","unstructured":"Halbwachs N. Synchronous programming of reactive systems. Kluwer Academic Pub., 1993"},{"key":"3094_CR26","volume-title":"The synchronous programming language quartz","author":"K Schneider","year":"2009","unstructured":"Schneider K. The synchronous programming language quartz. Technical report, Department of Computer Science, University of Kaiserslautern, 2009"},{"key":"3094_CR27","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1109\/DATE.2011.5763284","volume-title":"Design, Automation Test in Europe Conference Exhibition (DATE\u201911)","author":"C Traulsen","year":"2011","unstructured":"Traulsen C, Amende T, Hanxledenv R. Compiling synccharts to synchronous c. In: Design, Automation Test in Europe Conference Exhibition (DATE\u201911). 2011, 1\u20134"},{"key":"3094_CR28","volume-title":"GeoJournal library","author":"D Potop-Butucaru","year":"2007","unstructured":"Potop-Butucaru D, Edwards S, Berry G. Compiling Esterel. GeoJournal library. Springer, 2007"},{"key":"3094_CR29","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software product line engineering: foundations, principles, and techniques","author":"K Pohl","year":"2005","unstructured":"Pohl K, Buckle G, Linden v. d F. Software product line engineering: foundations, principles, and techniques. Springer, Berlin Heidelberg New York, 2005. ISBN: 3-540-24372-0"},{"issue":"12","key":"3094_CR30","doi-asserted-by":"crossref","first-page":"37","DOI":"10.1145\/1183236.1183262","volume":"49","author":"C W Krueger","year":"2006","unstructured":"Krueger C W. New methods in software product line practice. Communications of ACM, 2006, 49(12): 37\u201340","journal-title":"Communications of ACM"},{"key":"3094_CR31","doi-asserted-by":"crossref","first-page":"259","DOI":"10.1145\/2362536.2362571","volume-title":"Proceedings of SPLC","author":"R Flores","year":"2012","unstructured":"Flores R, Krueger C, Clements P. Mega-scale product line engineering at general motors. In: Proceedings of SPLC. 2012, 259\u2013269"},{"key":"3094_CR32","volume-title":"UML Profile for MARTE, v1.0. Object management group","author":"OMG.","year":"2009","unstructured":"OMG. UML Profile for MARTE, v1.0. Object management group, 2009. formal\/2009-11-02"},{"key":"3094_CR33","volume-title":"Syntax and semantics of the clock constraint specification language (CCSL)","author":"C Andr\u00e9","year":"2009","unstructured":"Andr\u00e9 C. Syntax and semantics of the clock constraint specification language (CCSL). Research Report 6925, INRIA, 2009"},{"issue":"3","key":"3094_CR34","doi-asserted-by":"crossref","first-page":"261","DOI":"10.1142\/S0218126603000763","volume":"12","author":"P Guernic Le","year":"2003","unstructured":"Le Guernic P, Talpin J P, Le Lann J C. Polychrony for system design. Journal of Circuits, Systems, and Computers, 2003, 12(3): 261\u2013304","journal-title":"Journal of Circuits, Systems, and Computers"},{"issue":"12","key":"3094_CR35","doi-asserted-by":"crossref","first-page":"1217","DOI":"10.1109\/43.736561","volume":"17","author":"E A Lee","year":"1998","unstructured":"Lee E A, Sangiovanni-Vincentelli A L. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998, 17(12): 1217\u20131229","journal-title":"IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"},{"key":"3094_CR36","doi-asserted-by":"crossref","first-page":"167","DOI":"10.1145\/1542452.1542475","volume-title":"Proceedings of LCTES","author":"C Andr\u00e9","year":"2009","unstructured":"Andr\u00e9 C, Mallet F. Specification and verification of time requirements with CCSL and esterel. In: Proceedings of LCTES. 2009, 167\u2013176"},{"key":"3094_CR37","unstructured":"Boucaron J, Gaff\u00e9 D. SyncCharts compiler collection. http:\/\/julien.boucaron.free.fr\/i3s\/"},{"key":"3094_CR38","volume-title":"ACM Transactions on Embedded Computing Systems","author":"S Tripakis","year":"2005","unstructured":"Tripakis S, Sofronis C, Caspi P, Curic A. Translating discrete-time simulink to lustre. ACM Transactions on Embedded Computing Systems, 2005"},{"key":"3094_CR39","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","volume-title":"Proceedings of the International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"V d M Beeck","year":"1994","unstructured":"Beeck V. d M. A comparison of Statecharts variants. In: Proceedings of the International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems. 1994, 128\u2013148"},{"key":"3094_CR40","first-page":"325","volume-title":"LNCS","author":"D Harel","year":"2004","unstructured":"Harel D, Kugler H. The Rhapsody semantics of Statecharts. In: LNCS. 2004, 325\u2013354"},{"key":"3094_CR41","first-page":"113","volume":"41","author":"S Prochnow","year":"2006","unstructured":"Prochnow S, Traulsen C, Hanxledenv R. Synthesizing safe state machines from Esterel. In: Proceedings of the International Conference on Language, Compilers, and Tool Support for Embedded Systems (LCTES\u201906), 2006, 41: 113\u2013124","journal-title":"Proceedings of the International Conference on Language, Compilers, and Tool Support for Embedded Systems (LCTES\u201906)"},{"key":"3094_CR42","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D Batory","year":"2005","unstructured":"Batory D. Feature models, grammars, and propositional formulas. In: Software Product Lines, Volume 3714 of LNCS, 7\u201320. Springer Berlin \/ Heidelberg, 2005"},{"key":"3094_CR43","volume-title":"Xeve: an Esterel verification environment (version v1\u20133)","author":"A Bouali","year":"1997","unstructured":"Bouali A. Xeve: an Esterel verification environment (version v1\u20133). Technical Report RT-0214, INRIA, Sophia-Antipolis, 1997"},{"key":"3094_CR44","first-page":"995","volume-title":"Handbook Of Theoretical Computer Science","author":"E A Emerson","year":"1995","unstructured":"Emerson E A. Temporal and modal logic. In: Handbook Of Theoretical Computer Science. 1995, 995\u20131072"},{"key":"3094_CR45","unstructured":"Berkeley Logic Synthesis and Verification Group. ABC, release 10216. http:\/\/www.eecs.berkeley.edu\/\u00e3lanmi\/abc\/"},{"key":"3094_CR46","doi-asserted-by":"crossref","first-page":"333","DOI":"10.1145\/360825.360855","volume":"18","author":"A V Aho","year":"1975","unstructured":"Aho A V, Corasick M J. Efficient string matching: An aid to bibliographic search. Communications of the ACM, 1975, 18: 333\u2013340","journal-title":"Communications of the ACM"}],"container-title":["Frontiers of Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3094-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11704-013-3094-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11704-013-3094-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,24]],"date-time":"2019-07-24T07:01:12Z","timestamp":1563951672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11704-013-3094-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,19]]},"references-count":46,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2013,10]]}},"alternative-id":["3094"],"URL":"https:\/\/doi.org\/10.1007\/s11704-013-3094-6","relation":{},"ISSN":["2095-2228","2095-2236"],"issn-type":[{"value":"2095-2228","type":"print"},{"value":"2095-2236","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,9,19]]}}}