{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,25]],"date-time":"2026-02-25T16:57:40Z","timestamp":1772038660244,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":60,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,9]],"date-time":"2019-09-09T00:00:00Z","timestamp":1567987200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,9,9]]},"DOI":"10.1145\/3336294.3336295","type":"proceedings-article","created":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T12:38:04Z","timestamp":1565267884000},"page":"39-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["Static Analysis of Featured Transition Systems"],"prefix":"10.1145","author":[{"given":"Maurice H. ter","family":"Beek","sequence":"first","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Lienhardt","sequence":"additional","affiliation":[{"name":"ONERA, Palaiseau, France"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[{"name":"ISTI-CNR, Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[{"name":"University of Turin, Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1016\/0020-0190(85)90056-0"},{"key":"e_1_3_2_1_2_1","volume-title":"Feature-Oriented Software Product Lines: Concepts and Implementation","author":"Apel Sven","unstructured":"Sven Apel , Don S. Batory , Christian K\u00e4stner , and Gunter Saake . 2013. Feature-Oriented Software Product Lines: Concepts and Implementation . Springer . Sven Apel, Don S. Batory, Christian K\u00e4stner, and Gunter Saake. 2013. Feature-Oriented Software Product Lines: Concepts and Implementation. Springer."},{"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.1007\/978-3-319-44953-1_3"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM'15)","volume":"9276","author":"Beek Maurice H.","year":"2015","unstructured":"Maurice H. ter Beek , Ferruccio Damiani , Stefania Gnesi , Franco Mazzanti , and Luca Paolini . 2015 . From Featured Transition Systems to Modal Transition Systems with Variability Constraints . In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM'15) (LNCS), R. Calinescu and B. Rumpe (Eds.) , Vol. 9276 . Springer, 344--359. Maurice H. ter Beek, Ferruccio Damiani, Stefania Gnesi, Franco Mazzanti, and Luca Paolini. 2015. From Featured Transition Systems to Modal Transition Systems with Variability Constraints. In Proceedings of the 13th International Conference on Software Engineering and Formal Methods (SEFM'15) (LNCS), R. Calinescu and B. Rumpe (Eds.), Vol. 9276. Springer, 344--359."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.09.006"},{"key":"e_1_3_2_1_7_1","volume-title":"Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, and Luca Paolini.","author":"Maurice","year":"2019","unstructured":"Maurice H. ter Beek , Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, and Luca Paolini. 2019 . Supplementary material for: \"Static Analysis of Featured Transition Systems \". Maurice H. ter Beek, Ferruccio Damiani, Michael Lienhardt, Franco Mazzanti, and Luca Paolini. 2019. Supplementary material for: \"Static Analysis of Featured Transition Systems\"."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_26"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2593489.2593493"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_23"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2791060.2791118"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2015.11.006"},{"key":"e_1_3_2_1_13_1","volume-title":"Alessandro Fantechi, Stefania Gnesi, and Franco Mazzanti.","author":"Maurice","year":"2019","unstructured":"Maurice H. ter Beek , Alessandro Fantechi, Stefania Gnesi, and Franco Mazzanti. 2019 . States and Events in KandISTI: A Retrospective. In Models, Mindsets, Meta : The What, the How, and the Why Not?, T. Margaria, S. Graf, and K. G. Larsen (Eds.). LNCS, Vol. 11200 . Springer , 110--128. Maurice H. ter Beek, Alessandro Fantechi, Stefania Gnesi, and Franco Mazzanti. 2019. States and Events in KandISTI: A Retrospective. In Models, Mindsets, Meta: The What, the How, and the Why Not?, T. Margaria, S. Graf, and K. G. Larsen (Eds.). LNCS, Vol. 11200. Springer, 110--128."},{"key":"e_1_3_2_1_14_1","volume-title":"Stefania Gnesi, and Franco Mazzanti.","author":"Maurice","year":"2015","unstructured":"Maurice H. ter Beek , Stefania Gnesi, and Franco Mazzanti. 2015 . From EU Projects to a Family of Model Checkers. In Software, Services and Systems, R. De Nicola and R. Hennicker (Eds.). LNCS, Vol. 8950 . Springer , 312--328. Maurice H. ter Beek, Stefania Gnesi, and Franco Mazzanti. 2015. From EU Projects to a Family of Model Checkers. In Software, Services and Systems, R. De Nicola and R. Hennicker (Eds.). LNCS, Vol. 8950. Springer, 312--328."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.182.5"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2500722"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2647908.2655969"},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 18th International Symposium on Formal Methods (FM'12)","volume":"7436","author":"Beek Maurice H.","year":"2012","unstructured":"Maurice H. ter Beek , Franco Mazzanti , and Aldi Sulova . 2012 . VMC: A Tool for Product Variability Analysis . In Proceedings of the 18th International Symposium on Formal Methods (FM'12) (LNCS), D. Giannakopoulou and D. M\u00e9ry (Eds.) , Vol. 7436 . Springer, 450--454. Maurice H. ter Beek, Franco Mazzanti, and Aldi Sulova. 2012. VMC: A Tool for Product Variability Analysis. In Proceedings of the 18th International Symposium on Formal Methods (FM'12) (LNCS), D. Giannakopoulou and D. M\u00e9ry (Eds.), Vol.7436. Springer, 450--454."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16)","volume":"9952","author":"Beek Maurice H.","unstructured":"Maurice H. ter Beek , Michel A. Reniers , and Erik P . de Vink. 2016. Supervisory Controller Synthesis for Product Lines Using CIF 3 . In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16) (LNCS), T. Margaria and B. Steffen (Eds.) , Vol. 9952 . Springer, 856--873. Maurice H. ter Beek, Michel A. Reniers, and Erik P. de Vink. 2016. Supervisory Controller Synthesis for Product Lines Using CIF 3. In Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques (ISoLA'16) (LNCS), T. Margaria and B. Steffen (Eds.), Vol. 9952. Springer, 856--873."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2010.01.001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2015.06.005"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-46681-0_14"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2491976"},{"key":"e_1_3_2_1_24_1","volume-title":"Secure Programming with Static Analysis","author":"Chess Brian","unstructured":"Brian Chess and Jacob West . 2007. Secure Programming with Static Analysis . Addison-Wesley . Brian Chess and Jacob West. 2007. Secure Programming with Static Analysis. Addison-Wesley."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/5397.5399"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0234-1"},{"key":"e_1_3_2_1_29_1","volume-title":"B","author":"Classen Andreas","year":"2014","unstructured":"Andreas Classen , Maxime Cordy , Patrick Heymans , Axel Legay , and Pierre-Yves Schobbens . 2014. Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80 , B ( 2014 ), 416--439. Andreas Classen, Maxime Cordy, Patrick Heymans, Axel Legay, and Pierre-Yves Schobbens. 2014. Formal semantics, modular specification, and symbolic verification of product-line behaviour. Sci. Comput. Program. 80, B (2014), 416--439."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.86"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985838"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/800157.805047"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/2499777.2499781"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/2337223.2337302"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.5555\/2486788.2486851"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-36742-7_15"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68972-2_5"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.11.005"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792734.1792766"},{"key":"e_1_3_2_1_41_1","volume-title":"Vaandrager","author":"Nicola Rocco De","year":"1990","unstructured":"Rocco De Nicola and Frits W . Vaandrager . 1990 . Action versus State based Logics for Transition Systems. In Semantics of Systems of Concurrent Processes: Proceedings of the LITP Spring School on Theoretical Computer Science (LNCS), I. Guessarian (Ed.), Vol. 469 . Springer , 407--419. Rocco De Nicola and Frits W. Vaandrager. 1990. Action versus State based Logics for Transition Systems. In Semantics of Systems of Concurrent Processes: Proceedings of the LITP Spring School on Theoretical Computer Science (LNCS), I. Guessarian (Ed.), Vol. 469. Springer, 407--419."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-45234-9_24"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/2884781.2884821"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-89363-1_17"},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-016-0425-2"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23404-5_18"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-54494-5_24"},{"key":"e_1_3_2_1_48_1","unstructured":"Marijn Heule Matti J\u00e4visalo and Martin Suda. {n.d}. The international SAT Competitions web page. https:\/\/www.satcompetition.org\/. Accessed: 2019-03-22.  Marijn Heule Matti J\u00e4visalo and Martin Suda. {n.d}. The international SAT Competitions web page. https:\/\/www.satcompetition.org\/. Accessed: 2019-03-22."},{"key":"e_1_3_2_1_49_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2012.02.002"},{"key":"e_1_3_2_1_50_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.artint.2016.09.006"},{"key":"e_1_3_2_1_51_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.36"},{"key":"e_1_3_2_1_52_1","doi-asserted-by":"publisher","DOI":"10.1145\/1960275.1960284"},{"key":"e_1_3_2_1_53_1","volume-title":"30 Years of Modal Transition Systems: Survey of Extensions and Analysis","author":"K\u0159et\u00ednsk\u00fd Jan","unstructured":"Jan K\u0159et\u00ednsk\u00fd . 2017. 30 Years of Modal Transition Systems: Survey of Extensions and Analysis . In Models, Algorithms, Logics and Tools, L. Aceto, G. Bacci, G. Bacci, A. Ing\u00f3lfsd\u00f3ttir, A. Legay, and R. Mardare (Eds.). LNCS, Vol . 10460. Springer , 36--74. Jan K\u0159et\u00ednsk\u00fd. 2017. 30 Years of Modal Transition Systems: Survey of Extensions and Analysis. In Models, Algorithms, Logics and Tools, L. Aceto, G. Bacci, G. Bacci, A. Ing\u00f3lfsd\u00f3ttir, A. Legay, and R. Mardare (Eds.). LNCS, Vol. 10460. Springer, 36--74."},{"key":"e_1_3_2_1_54_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.1988.5119"},{"key":"e_1_3_2_1_55_1","doi-asserted-by":"publisher","DOI":"10.1145\/3168365.3170425"},{"key":"e_1_3_2_1_56_1","volume-title":"Temporal Verification of Reactive Systems: Safety","author":"Manna Zohar","unstructured":"Zohar Manna and Amir Pnueli . 1995. Temporal Verification of Reactive Systems: Safety . Springer . Zohar Manna and Amir Pnueli. 1995. Temporal Verification of Reactive Systems: Safety. Springer."},{"key":"e_1_3_2_1_57_1","doi-asserted-by":"publisher","DOI":"10.5555\/1753235.1753267"},{"key":"e_1_3_2_1_58_1","volume-title":"Hanne Riis Nielson, and Chris Hankin","author":"Nielson Flemming","year":"2005","unstructured":"Flemming Nielson , Hanne Riis Nielson, and Chris Hankin . 2005 . Principles of Program Analysis. Springer . Flemming Nielson, Hanne Riis Nielson, and Chris Hankin. 2005. Principles of Program Analysis. Springer."},{"key":"e_1_3_2_1_59_1","doi-asserted-by":"publisher","DOI":"10.1145\/3280986"},{"key":"e_1_3_2_1_60_1","doi-asserted-by":"publisher","DOI":"10.1145\/2580950"},{"key":"e_1_3_2_1_61_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.06.002"},{"key":"e_1_3_2_1_62_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.09.001"}],"event":{"name":"SPLC 2019: 23rd International Systems and Software Product Line Conference","location":"Paris France","acronym":"SPLC 2019"},"container-title":["Proceedings of the 23rd International Systems and Software Product Line Conference - Volume A"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336295","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3336294.3336295","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T19:07:24Z","timestamp":1750273644000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3336294.3336295"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,9]]},"references-count":60,"alternative-id":["10.1145\/3336294.3336295","10.1145\/3336294"],"URL":"https:\/\/doi.org\/10.1145\/3336294.3336295","relation":{},"subject":[],"published":{"date-parts":[[2019,9,9]]},"assertion":[{"value":"2019-09-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}