{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:58:25Z","timestamp":1762459105835,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":32,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,8,26]],"date-time":"2013-08-26T00:00:00Z","timestamp":1377475200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003407","name":"Ministero dell'Istruzione, dell'Universit\u00e0 e della Ricerca","doi-asserted-by":"publisher","award":["PRIN 2010LHT4KM"],"award-info":[{"award-number":["PRIN 2010LHT4KM"]}],"id":[{"id":"10.13039\/501100003407","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["FP7 257414","FP7 600708"],"award-info":[{"award-number":["FP7 257414","FP7 600708"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,26]]},"DOI":"10.1145\/2499777.2500722","type":"proceedings-article","created":{"date-parts":[[2013,8,13]],"date-time":"2013-08-13T12:31:21Z","timestamp":1376397081000},"page":"10-17","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":22,"title":["Combining declarative and procedural views in the specification and analysis of product families"],"prefix":"10.1145","author":[{"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[{"name":"Leiden University, NL"}]},{"given":"Alberto Lluch","family":"Lafuente","sequence":"additional","affiliation":[{"name":"IMT, Lucca, IT"}]},{"given":"Marinella","family":"Petrocchi","sequence":"additional","affiliation":[{"name":"IIT--CNR, Pisa, IT"}]}],"member":"320","published-online":{"date-parts":[[2013,8,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100075"},{"key":"e_1_3_2_1_2_1","volume-title":"A. Fantechi, and S. Gnesi. A Logical Framework to Deal with Variability. In IFM'10, LNCS 6396","author":"Asirelli P.","year":"2010","unstructured":"P. Asirelli , M. H. ter Beek , A. Fantechi, and S. Gnesi. A Logical Framework to Deal with Variability. In IFM'10, LNCS 6396 . Springer , 2010 , 43--58. P. Asirelli, M. H. ter Beek, A. Fantechi, and S. Gnesi. A Logical Framework to Deal with Variability. In IFM'10, LNCS 6396. Springer, 2010, 43--58."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364454"},{"key":"e_1_3_2_1_5_1","volume-title":"F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. In FM'12, LNCS 7436","author":"M.","year":"2012","unstructured":"M. H. ter Beek , F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. In FM'12, LNCS 7436 . Springer , 2012 , 450--454. M. H. ter Beek, F. Mazzanti, and A. Sulova. VMC: A Tool for Product Variability Analysis. In FM'12, LNCS 7436. Springer, 2012, 450--454."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28872-2_17"},{"key":"e_1_3_2_1_7_1","volume-title":"ESOP'07, LNCS 4421","author":"Buscemi M. G.","year":"2007","unstructured":"M. G. Buscemi and U. Montanari . CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements . In ESOP'07, LNCS 4421 . Springer , 2007 , 18--32. M. G. Buscemi and U. Montanari. CC-Pi: A Constraint-Based Language for Specifying Service Level Agreements. In ESOP'07, LNCS 4421. Springer, 2007, 18--32."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2010.04.001"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"e_1_3_2_1_10_1","first-page":"30","volume":"16","author":"Classen A.","year":"2008","unstructured":"A. Classen , P. Heymans , and P.-Y. Schobbens . What's in a Feature: A Requirements Engineering Perspective . In FASE'08, LNCS 4961. Springer , 2008 , 16 -- 30 . A. Classen, P. Heymans, and P.-Y. Schobbens. What's in a Feature: A Requirements Engineering Perspective. In FASE'08, LNCS 4961. Springer, 2008, 16--30.","journal-title":"Springer"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_12_1","volume-title":"LNCS 4350","author":"M. Clavel","year":"2007","unstructured":"M. Clavel et al., Eds . All About Maude , LNCS 4350 . Springer , 2007 . M. Clavel et al., Eds. All About Maude, LNCS 4350. Springer, 2007."},{"key":"e_1_3_2_1_13_1","first-page":"29","volume":"1","author":"Cordy M.","year":"2013","unstructured":"M. Cordy , A. Classen , P. Heymans , A. Legay , and P.-Y. Schobbens . Model Checking Adaptive Software with Featured Transition Systems . In Assurances for Self-Adaptive Systems , LNCS 7740. Springer , 2013 , 1 -- 29 . M. Cordy, A. Classen, P. Heymans, A. Legay, and P.-Y. Schobbens. Model Checking Adaptive Software with Featured Transition Systems. In Assurances for Self-Adaptive Systems, LNCS 7740. Springer, 2013, 1--29.","journal-title":"Springer"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364412.2364424"},{"key":"e_1_3_2_1_16_1","volume-title":"SC'11, LNCS 6708","author":"Gondal A.","year":"2011","unstructured":"A. Gondal , M. Poppleton , and M. Butler . Composing Event-B Specifications - Case-Study Experience . In SC'11, LNCS 6708 . Springer , 2011 , 100--115. A. Gondal, M. Poppleton, and M. Butler. Composing Event-B Specifications - Case-Study Experience. In SC'11, LNCS 6708. Springer, 2011, 100--115."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-68863-1_8"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2008.22"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.4304\/jsw.7.11.2518-2532"},{"key":"e_1_3_2_1_20_1","volume-title":"ESOP'07, LNCS 4421","author":"Larsen K. G.","year":"2007","unstructured":"K. G. Larsen , U. Nyman , and A. W\u0105sowski . Modal I\/O Automata for Interface and Product Line Theories . In ESOP'07, LNCS 4421 . Springer , 2007 , 64--79. K. G. Larsen, U. Nyman, and A. W\u0105sowski. Modal I\/O Automata for Interface and Product Line Theories. In ESOP'07, LNCS 4421. Springer, 2007, 64--79."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5119"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2009.16"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34026-0_11"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/587051.587066"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10515-005-2643-9"},{"key":"e_1_3_2_1_26_1","unstructured":"R. Milner. Communication and Concurrency. Prentice Hall 1989.   R. Milner. Communication and Concurrency . Prentice Hall 1989."},{"key":"e_1_3_2_1_27_1","volume-title":"Feature Petri Nets. In FMSPLE'10","author":"Muschevici R.","year":"2010","unstructured":"R. Muschevici , D. Clarke , and J. Proen\u00e7a . Feature Petri Nets. In FMSPLE'10 . University of Lancaster , 2010 . R. Muschevici, D. Clarke, and J. Proen\u00e7a. Feature Petri Nets. In FMSPLE'10. University of Lancaster, 2010."},{"key":"e_1_3_2_1_28_1","first-page":"333","volume":"318","author":"Muschevici R.","year":"2011","unstructured":"R. Muschevici , J. Proen\u00e7a , and D. Clarke . Modular Modelling of Software Product Lines with Feature Nets In SEFM'11, LNCS 7041. Springer , 2011 , 318 -- 333 . R. Muschevici, J. Proen\u00e7a, and D. Clarke. Modular Modelling of Software Product Lines with Feature Nets In SEFM'11, LNCS 7041. Springer, 2011, 318--333.","journal-title":"Springer"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96733"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/RE.2006.23"},{"key":"e_1_3_2_1_31_1","first-page":"12","volume":"9","author":"Zhang H.","year":"2012","unstructured":"H. Zhang , H. Zou , F. Yang , and R. Lin . Modeling and Analysis of Behavioral Variability in Product Lines. Journal of Information & Computational Science 9 , 12 ( 2012 ), 3589--3600. H. Zhang, H. Zou, F. Yang, and R. Lin. Modeling and Analysis of Behavioral Variability in Product Lines. Journal of Information & Computational Science 9, 12 (2012), 3589--3600.","journal-title":"Journal of Information & Computational Science"},{"key":"e_1_3_2_1_32_1","volume-title":"SPLC'06","author":"Ziadi T.","year":"2006","unstructured":"T. Ziadi and J. M. J\u00e9z\u00e9quel . Software Product Line Engineering with the UML: Deriving Products . In SPLC'06 . Springer , 2006 , 557--588. T. Ziadi and J. M. J\u00e9z\u00e9quel. Software Product Line Engineering with the UML: Deriving Products. In SPLC'06. Springer, 2006, 557--588."}],"event":{"name":"SPLC 2013 workshops: 17th International Software Product Line Conference co-located workshops","acronym":"SPLC 2013 workshops","location":"Tokyo Japan"},"container-title":["Proceedings of the 17th International Software Product Line Conference co-located workshops"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499777.2500722","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2499777.2500722","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:33:58Z","timestamp":1750232038000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2499777.2500722"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,26]]},"references-count":32,"alternative-id":["10.1145\/2499777.2500722","10.1145\/2499777"],"URL":"https:\/\/doi.org\/10.1145\/2499777.2500722","relation":{},"subject":[],"published":{"date-parts":[[2013,8,26]]},"assertion":[{"value":"2013-08-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}