{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:59:47Z","timestamp":1740099587558,"version":"3.37.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030349677"},{"type":"electronic","value":"9783030349684"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-34968-4_34","type":"book-chapter","created":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T19:14:54Z","timestamp":1574363694000},"page":"542-546","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Summary of: On the Expressiveness of Modal Transition Systems with Variability Constraints"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2930-6367","authenticated-orcid":false,"given":"Maurice H.","family":"ter Beek","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-0139-0421","authenticated-orcid":false,"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-4562-8777","authenticated-orcid":false,"given":"Franco","family":"Mazzanti","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4126-0170","authenticated-orcid":false,"given":"Luca","family":"Paolini","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,11,22]]},"reference":[{"key":"34_CR1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37521-7","author":"S Apel","year":"2013","unstructured":"Apel, S., Batory, D.S., K\u00e4stner, C., Saake, G.: Springer. Feature-Oriented Software Product Lines (2013). \nhttps:\/\/doi.org\/10.1007\/978-3-642-37521-7","journal-title":"Feature-Oriented Software Product Lines"},{"key":"34_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"344","DOI":"10.1007\/978-3-319-22969-0_24","volume-title":"Software Engineering and Formal Methods","author":"MH Beek ter","year":"2015","unstructured":"ter Beek, M.H., Damiani, F., Gnesi, S., Mazzanti, F., Paolini, L.: From featured transition systems to modal transition systems with variability constraints. In: Calinescu, R., Rumpe, B. (eds.) SEFM 2015. LNCS, vol. 9276, pp. 344\u2013359. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-22969-0_24"},{"key":"34_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.scico.2018.09.006","volume":"169","author":"MH Beek ter","year":"2019","unstructured":"ter Beek, M.H., Damiani, F., Gnesi, S., Mazzanti, F., Paolini, L.: On the expressiveness of modal transition systems with variability constraints. Sci. Comput. Program. 169, 1\u201317 (2019). \nhttps:\/\/doi.org\/10.1016\/j.scico.2018.09.006","journal-title":"Sci. Comput. Program."},{"key":"34_CR4","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Damiani, F., Lienhardt, M., Mazzanti, F., Paolini, L.: Static analysis of featured transition systems. In: SPLC, pp. 39\u201351. ACM (2019). \nhttps:\/\/doi.org\/10.1145\/3336294.3336295","DOI":"10.1145\/3336294.3336295"},{"issue":"2","key":"34_CR5","doi-asserted-by":"publisher","first-page":"287","DOI":"10.1016\/j.jlamp.2015.11.006","volume":"85","author":"MH Beek ter","year":"2016","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. J. Log. Algebr. Meth. Program. 85(2), 287\u2013315 (2016). \nhttps:\/\/doi.org\/10.1016\/j.jlamp.2015.11.006","journal-title":"J. Log. Algebr. Meth. Program."},{"key":"34_CR6","doi-asserted-by":"publisher","unstructured":"ter Beek, M.H., Mazzanti, F.: VMC: recent advances and challenges ahead. In: SPLC, pp. 70\u201377. ACM (2014). \nhttps:\/\/doi.org\/10.1145\/2647908.2655969","DOI":"10.1145\/2647908.2655969"},{"key":"34_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"450","DOI":"10.1007\/978-3-642-32759-9_36","volume-title":"FM 2012: Formal Methods","author":"MH Beek ter","year":"2012","unstructured":"ter Beek, M.H., Mazzanti, F., Sulova, A.: VMC: a tool for product variability analysis. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 450\u2013454. Springer, Heidelberg (2012). \nhttps:\/\/doi.org\/10.1007\/978-3-642-32759-9_36"},{"key":"34_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/978-3-662-54494-5_23","volume-title":"Fundamental Approaches to Software Engineering","author":"MH Beek ter","year":"2017","unstructured":"ter Beek, M.H., de Vink, E.P., Willemse, T.A.C.: Family-based model checking with mCRL2. In: Huisman, M., Rubin, J. (eds.) FASE 2017. LNCS, vol. 10202, pp. 387\u2013405. Springer, Heidelberg (2017). \nhttps:\/\/doi.org\/10.1007\/978-3-662-54494-5_23"},{"key":"34_CR9","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1016\/j.scico.2015.06.005","volume":"123","author":"H Beohar","year":"2016","unstructured":"Beohar, H., Varshosaz, M., Mousavi, M.: Basic behavioral models for software product lines: expressiveness and testing pre-orders. Sci. Comput. Program. 123, 42\u201360 (2016). \nhttps:\/\/doi.org\/10.1016\/j.scico.2015.06.005","journal-title":"Sci. Comput. Program."},{"issue":"8","key":"34_CR10","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2013","unstructured":"Classen, A., Cordy, M., Schobbens, P.-Y., Heymans, P., Legay, A., Raskin, J.F.: Featured transition systems: foundations for verifying variability-intensive systems and their application to LTL model checking. IEEE Trans. Softw. Eng. 39(8), 1069\u20131089 (2013). \nhttps:\/\/doi.org\/10.1109\/TSE.2012.86","journal-title":"IEEE Trans. Softw. Eng."},{"key":"34_CR11","doi-asserted-by":"publisher","unstructured":"Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A., Raskin, J.-F.: Model checking $$ {\\text{lots}}$$ of systems: efficient verification of temporal properties in software product lines. In: ICSE, pp. 335\u2013344. ACM (2010). \nhttps:\/\/doi.org\/10.1145\/1806799.1806850","DOI":"10.1145\/1806799.1806850"},{"key":"34_CR12","doi-asserted-by":"publisher","unstructured":"Cordy, M., Classen, A., Heymans, P., Schobbens, P.-Y., Legay, A.: ProVeLines: a product line of verifiers for software product lines. In: SPLC, pp. 141\u2013146. ACM (2013). \nhttps:\/\/doi.org\/10.1145\/2499777.2499781","DOI":"10.1145\/2499777.2499781"},{"key":"34_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"282","DOI":"10.1007\/978-3-319-23404-5_18","volume-title":"Model Checking Software","author":"AS Dimovski","year":"2015","unstructured":"Dimovski, A.S., Al-Sibahi, A.S., Brabrand, C., W\u0105sowski, A.: Family-based model checking without a family-based model checker. In: Fischer, B., Geldenhuys, J. (eds.) SPIN 2015. LNCS, vol. 9232, pp. 282\u2013299. Springer, Cham (2015). \nhttps:\/\/doi.org\/10.1007\/978-3-319-23404-5_18"},{"key":"34_CR14","doi-asserted-by":"publisher","unstructured":"Larsen, K.G., Thomsen, B.: A modal process logic. In: LICS, pp. 203\u2013210. IEEE (1988). \nhttps:\/\/doi.org\/10.1109\/LICS.1988.5119","DOI":"10.1109\/LICS.1988.5119"},{"key":"34_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-28901-1","author":"K Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product Line Engineering. Springer (2005). \nhttps:\/\/doi.org\/10.1007\/3-540-28901-1","journal-title":"Software Product Line Engineering. Springer"},{"key":"34_CR16","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/j.scico.2018.09.001","volume":"168","author":"M Varshosaz","year":"2018","unstructured":"Varshosaz, M., Beohar, H., Mousavi, M.: Basic behavioral models for software product lines: revisited. Sci. Comput. Program. 168, 171\u2013185 (2018). \nhttps:\/\/doi.org\/10.1016\/j.scico.2018.09.001","journal-title":"Sci. Comput. Program."},{"key":"34_CR17","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.jlamp.2019.03.003","volume":"106","author":"M Varshosaz","year":"2019","unstructured":"Varshosaz, M., Luthmann, L., Mohr, P., Lochau, M., Mousavi, M.: Modal transition system encoding of featured transition systems. J. Log. Algebr. Meth. Program. 106, 1\u201328 (2019). \nhttps:\/\/doi.org\/10.1016\/j.jlamp.2019.03.003","journal-title":"J. Log. Algebr. Meth. Program."}],"container-title":["Lecture Notes in Computer Science","Integrated Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-34968-4_34","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,21]],"date-time":"2019-11-21T19:19:28Z","timestamp":1574363968000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-34968-4_34"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030349677","9783030349684"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-34968-4_34","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"22 November 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"IFM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Integrated Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Bergen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Norway","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2 December 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"6 December 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"ifm2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/ifm2019.hvl.no\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}