{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:53:44Z","timestamp":1762458824074,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":33,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162640"},{"type":"electronic","value":"9783642162657"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-16265-7_5","type":"book-chapter","created":{"date-parts":[[2010,10,1]],"date-time":"2010-10-01T01:45:41Z","timestamp":1285897541000},"page":"43-58","source":"Crossref","is-referenced-by-count":24,"title":["A Logical Framework to Deal with Variability"],"prefix":"10.1007","author":[{"given":"Patrizia","family":"Asirelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maurice H.","family":"ter Beek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"94","volume":"95","author":"A. Antonik","year":"2008","unstructured":"Antonik, A., Huth, M., Larsen, K.G., Nyman, U., W\u0105sowski, A.: 20 Years of Modal and Mixed Specifications. B. EATCS\u00a095, 94\u2013129 (2008)","journal-title":"B. EATCS"},{"key":"5_CR2","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/978-94-010-0387-2_3","volume-title":"Handbook of Philosophical Logic","author":"L. \u00c5qvist","year":"2002","unstructured":"\u00c5qvist, L.: Deontic Logic. In: Gabbay, D., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol.\u00a08, pp. 147\u2013264. Kluwer, Dordrecht (2002)","edition":"2"},{"key":"5_CR3","series-title":"ICB Research Report","first-page":"71","volume-title":"Proceedings Variability Modelling of Software-intensive Systems (VaMoS 2009)","author":"P. Asirelli","year":"2009","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: Deontic Logics for modelling Behavioural Variability. In: Benavides, D., Metzger, A., Eisenecker, U. (eds.) Proceedings Variability Modelling of Software-intensive Systems (VaMoS 2009). ICB Research Report, vol.\u00a029, pp. 71\u201376. Universit\u00e4t Duisburg, Essen (2009)"},{"key":"5_CR4","series-title":"ICB Research Report","first-page":"37","volume-title":"Proceedings Variability Modelling of Software-intensive Systems (VaMoS 2010)","author":"P. Asirelli","year":"2010","unstructured":"Asirelli, P., ter Beek, M.H., Fantechi, A., Gnesi, S.: A deontic logical framework for modelling product families. In: Benavides, D., Batory, D., Gr\u00fcnbacher, P. (eds.) Proceedings Variability Modelling of Software-intensive Systems (VaMoS 2010). ICB Research Report, vol.\u00a037, pp. 37\u201344. Universit\u00e4t Duisburg, Essen (2010)"},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"5_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-79707-4_11","volume-title":"Formal Methods for Industrial Critical Systems","author":"M.H. Beek ter","year":"2008","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An action\/state-based model-checking approach for the analysis of communication protocols for service-oriented applications. In: Leue, S., Merino, P. (eds.) FMICS 2007. LNCS, vol.\u00a04916, pp. 133\u2013148. Springer, Heidelberg (2008)"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: A state\/event-based model-checking approach for the analysis of abstract system properties. Sci.\u00a0Comput.\u00a0Program. (to appear 2010)","DOI":"10.1016\/j.scico.2010.07.002"},{"key":"5_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-540-75292-9_8","volume-title":"Theoretical Aspects of Computing \u2013 ICTAC 2007","author":"P.F. Castro","year":"2007","unstructured":"Castro, P.F., Maibaum, T.S.E.: A Complete and Compact Propositional Deontic Logic. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol.\u00a04711, pp. 109\u2013123. Springer, Heidelberg (2007)"},{"key":"5_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1007\/978-3-540-70525-3_4","volume-title":"Deontic Logic in Computer Science","author":"P.F. Castro","year":"2008","unstructured":"Castro, P.F., Maibaum, T.S.E.: A Tableaux System for Deontic Action Logic. In: van der Meyden, R., van der Torre, L. (eds.) DEON 2008. LNCS (LNAI), vol.\u00a05076, pp. 34\u201348. Springer, Heidelberg (2008)"},{"issue":"2","key":"5_CR10","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/5397.5399","volume":"8","author":"E.M. Clarke","year":"1986","unstructured":"Clarke, E.M., Emerson, E.A., Sistla, A.P.: Automatic Verification of Finite State Concurrent Systems using Temporal Logic Specifications. ACM Trans.\u00a0Program.\u00a0Lang.\u00a0Syst.\u00a08(2), 244\u2013263 (1986)","journal-title":"ACM Trans.\u00a0Program.\u00a0Lang.\u00a0Syst."},{"key":"5_CR11","volume-title":"Model Checking","author":"E.M. Clarke","year":"1999","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT, Cambridge (1999)"},{"key":"5_CR12","first-page":"335","volume-title":"Proceedings 32nd ACM\/IEEE International Conference on Software Engineering","author":"A. Classen","year":"2010","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model Checking Lots of Systems: Efficient Verification of Temporal Properties in Software Product Lines. In: Proceedings 32nd ACM\/IEEE International Conference on Software Engineering, vol.\u00a01, pp. 335\u2013344. ACM, New York (2010)"},{"key":"5_CR13","volume-title":"Generative Programming: Methods, Tools, and Applications","author":"K. Czarnecki","year":"2000","unstructured":"Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Boston (2000)"},{"issue":"2","key":"5_CR14","first-page":"458","volume":"42","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.W.: Three Logics for Branching Bisimulation. J.\u00a0ACM\u00a042(2), 458\u2013487 (1995)","journal-title":"J.\u00a0ACM"},{"key":"5_CR15","first-page":"475","volume-title":"Proceedings 23rd IEEE\/ACM International Conference on Automated Software Engineering","author":"N. D\u2019Ippolito","year":"2008","unstructured":"D\u2019Ippolito, N., Fischbein, D., Chechik, M., Uchitel, S.: MTSA: The Modal Transition System Analyser. In: Proceedings 23rd IEEE\/ACM International Conference on Automated Software Engineering, pp. 475\u2013476. IEEE, Washington (2008)"},{"key":"5_CR16","first-page":"521","volume-title":"Proceedings 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT symposium on Foundations of Software Engineering","author":"A. Fantechi","year":"2007","unstructured":"Fantechi, A., Gnesi, S.: A Behavioural Model for Product Families. In: Crnkovic, I., Bertolino, A. (eds.) Proceedings 6th joint meeting of the European Software Engineering Conference and the ACM SIGSOFT symposium on Foundations of Software Engineering, pp. 521\u2013524. ACM, New York (2007)"},{"key":"5_CR17","first-page":"193","volume-title":"Proceedings 12th International Software Product Line Conference","author":"A. Fantechi","year":"2008","unstructured":"Fantechi, A., Gnesi, S.: Formal modelling for Product Families Engineering. In: Proceedings 12th International Software Product Line Conference, pp. 193\u2013202. IEEE, Washington (2008)"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/978-3-540-28630-1_16","volume-title":"Software Product Lines","author":"A. Fantechi","year":"2004","unstructured":"Fantechi, A., Gnesi, S., Lami, G., Nesti, E.: A Methodology for the Derivation and Verification of Use Cases for Product Lines. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol.\u00a03154, pp. 255\u2013265. Springer, Heidelberg (2004)"},{"key":"5_CR19","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1145\/1147249.1147254","volume-title":"Proceedings ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis","author":"D. Fischbein","year":"2006","unstructured":"Fischbein, D., Uchitel, S., Braberman, V.A.: A Foundation for Behavioural Conformance in Software Product Line Architectures. In: Hierons, R.M., Muccini, H. (eds.) Proceedings ISSTA 2006 Workshop on Role of Software Architecture for Testing and Analysis, pp. 39\u201348. ACM, New York (2006)"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-540-68863-1_8","volume-title":"Formal Methods for Open Object-Based Distributed Systems","author":"A. Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.D.: Modelling and Model Checking Software Product Lines. In: Barthe, G., de Boer, F.S. (eds.) FMOODS 2008. LNCS, vol.\u00a05051, pp. 113\u2013131. Springer, Heidelberg (2008)"},{"key":"5_CR21","first-page":"203","volume-title":"Proceedings 12th International Software Product Line Conference","author":"A. Gruler","year":"2008","unstructured":"Gruler, A., Leucker, M., Scheidemann, K.D.: Calculating and Modelling Common Parts of Software Product Lines. In: Proceedings 12th International Software Product Line Conference, pp. 203\u2013212. IEEE, Washington (2008)"},{"key":"5_CR22","doi-asserted-by":"crossref","unstructured":"Kang, K., Choen, S., Hess, J., Novak, W., Peterson, S.: Feature Oriented Domain Analysis (FODA) Feasibility Study. Technical Report SEI-90-TR-21, Carnegie Mellon University (1990)","DOI":"10.21236\/ADA235785"},{"key":"5_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/3-540-52148-8_19","volume-title":"Automatic Verification Methods for Finite State Systems","author":"K.G. Larsen","year":"1989","unstructured":"Larsen, K.G.: Modal Specifications. In: Sifakis, J. (ed.) Automatic Verification Methods for Finite State Systems. LNCS, vol.\u00a0407, pp. 232\u2013246. Springer, Heidelberg (1989)"},{"issue":"2-3","key":"5_CR24","first-page":"265","volume":"72","author":"K.G. Larsen","year":"1990","unstructured":"Larsen, K.G.: Proof Systems for Satisfiability in Hennessy-Milner Logic with Recursion. Theor.\u00a0Comput.\u00a0Sci.\u00a072(2-3), 265\u2013288 (1990)","journal-title":"Theor.\u00a0Comput.\u00a0Sci."},{"key":"5_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1007\/978-3-540-71316-6_6","volume-title":"Programming Languages and Systems","author":"K.G. Larsen","year":"2007","unstructured":"Larsen, K.G., Nyman, U., W\u0105sowski, A.: Modal I\/O Automata for Interface and Product Line Theories. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol.\u00a04421, pp. 64\u201379. Springer, Heidelberg (2007)"},{"key":"5_CR26","first-page":"203","volume-title":"Proceedings 3rd Annual Symposium on Logic in Computer Science","author":"K.G. Larsen","year":"1988","unstructured":"Larsen, K.G., Thomsen, B.: A Modal Process Logic. In: Proceedings 3rd Annual Symposium on Logic in Computer Science, pp. 203\u2013210. IEEE, Washington (1988)"},{"key":"5_CR27","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/978-3-540-24667-1_16","volume-title":"Software Product-Family Engineering","author":"M. Mannion","year":"2004","unstructured":"Mannion, M., Camara, J.: Theorem Proving for Product Line Model Verification. In: van der Linden, F.J. (ed.) PFE 2003. LNCS, vol.\u00a03014, pp. 211\u2013224. Springer, Heidelberg (2004)"},{"key":"5_CR28","unstructured":"Mazzanti, F.: UMC model checker\u00a0v3.6 (2009), http:\/\/fmt.isti.cnr.it\/umc"},{"volume-title":"Deontic Logic in Computer Science: Normative System Specification","year":"1994","key":"5_CR29","unstructured":"Meyer, J.-J.C., Wieringa, R.J. (eds.): Deontic Logic in Computer Science: Normative System Specification. John Wiley & Sons, Chichester (1994)"},{"key":"5_CR30","volume-title":"The Power of Product Platforms: Building Value and Cost Leadership","author":"M.H. Meyer","year":"1997","unstructured":"Meyer, M.H., Lehnerd, A.P.: The Power of Product Platforms: Building Value and Cost Leadership. The Free Press, New York (1997)"},{"key":"5_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/3-540-48294-6_22","volume-title":"Static Analysis","author":"M. M\u00fcller-Olm","year":"1999","unstructured":"M\u00fcller-Olm, M., Schmidt, D.A., Steffen, B.: Model-Checking: A Tutorial Introduction. In: Cortesi, A., Fil\u00e9, G. (eds.) SAS 1999. LNCS, vol.\u00a01694, pp. 330\u2013354. Springer, Heidelberg (1999)"},{"key":"5_CR32","doi-asserted-by":"publisher","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., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering: Foundations, Principles and Techniques. Springer, Heidelberg (2005)"},{"issue":"1-2","key":"5_CR33","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1016\/j.jlap.2008.05.003","volume":"77","author":"H. Schmidt","year":"2008","unstructured":"Schmidt, H., Fecher, H.: Comparing disjunctive modal transition systems with an one-selecting variant. J.\u00a0Logic Algebraic Program.\u00a077(1-2), 20\u201339 (2008)","journal-title":"J.\u00a0Logic Algebraic Program."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16265-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,11,10]],"date-time":"2021-11-10T22:32:28Z","timestamp":1636583548000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16265-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162640","9783642162657"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16265-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}