{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,7]],"date-time":"2026-08-07T15:48:38Z","timestamp":1786117718892,"version":"build-2736575974"},"publisher-location":"New York, NY, USA","reference-count":24,"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"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,8,26]]},"DOI":"10.1145\/2491627.2491643","type":"proceedings-article","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T07:57:17Z","timestamp":1378195037000},"page":"151-156","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Topologically configurable systems as product families"],"prefix":"10.1145","author":[{"given":"Alessandro","family":"Fantechi","sequence":"first","affiliation":[{"name":"DINFO - University of Florence, Firenze, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2013,8,26]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"94","article-title":"20 Years of Modal and Mixed Specifications","volume":"95","author":"Antonik A.","year":"2008","unstructured":"A. Antonik, M. Huth, K. G. Larsen, U. Nyman, and A. W\u0105sowski. 20 Years of Modal and Mixed Specifications. Bulletin of the EATCS 95 (2008), 94--129.","journal-title":"Bulletin of the EATCS"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/SPLC.2011.34"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1081180.1081197"},{"key":"e_1_3_2_1_4_1","volume-title":"ASE","author":"Blundell C.","year":"2004","unstructured":"C. Blundell, K. Fisler, S. Krishnamurthi, P. Van Hentenryck, Verification of Product Lines, ASE 2004."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806850"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/501065"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-34032-1_26"},{"key":"e_1_3_2_1_8_1","volume-title":"Proc. 8th FORMS\/FORMAT symposium (pp. 98--107)","author":"Ferrari A.","year":"2010","unstructured":"A. Ferrari, G. Magnani, D. Grasso, A. Fantechi, (2010) Model checking interlocking control tables. Proc. 8th FORMS\/FORMAT symposium (pp. 98--107)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1147249.1147254"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.708434"},{"key":"e_1_3_2_1_11_1","volume-title":"3rd FMICS Workshop (1998)","author":"Fokkink W.","unstructured":"W. Fokkink, P., Hollingshead, Verification of Interlockings: from Control Tables to Ladder Logic Diagrams. 3rd FMICS Workshop (1998) 171--185."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/64.180408"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-12566-9_8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1146359"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"K. Kang S. Choen J. Hess W. Novak and S. Peterson. Feature Oriented Domain Analysis (FODA) Feasibility Study. Technical Report SEI-90-TR-21. Carnegie Mellon University 1990.","DOI":"10.21236\/ADA235785"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/11581741_24"},{"key":"e_1_3_2_1_17_1","volume-title":"Formale Techniken f\u00fcr die Eisenbahn-sicherung (FORMS'00), Fortschritt-Berichte VDI, Reihe 12, Nr. 441","author":"Jung B.","year":"2000","unstructured":"B. Jung. Die Methode und Werkzeuge GRACE. In Formale Techniken f\u00fcr die Eisenbahn-sicherung (FORMS'00), Fortschritt-Berichte VDI, Reihe 12, Nr. 441. VDI Verlag, 2000."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/1762174.1762183"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1924976.1924980"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/1095605"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/1885639.1885650"},{"key":"e_1_3_2_1_22_1","volume-title":"Signalling Control Table Generation and Verification. Proc. of the 2002 Conference on Railway Engineering (CORE2002)","author":"Tombs D.","unstructured":"D. Tombs, N. Robinson, G., Nikandros, Signalling Control Table Generation and Verification. Proc. of the 2002 Conference on Railway Engineering (CORE2002)."},{"key":"e_1_3_2_1_23_1","unstructured":"T. Th\u00fcm S. Apel C. K\u00e4stner M. Kuhlemann I. Schaefer and G. Saake. Analysis Strategies for Software Product Lines. Technical Report FIN-004-2012 University of Magdeburg 2012."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.5555\/563801.563836"}],"event":{"name":"SPLC 2013: 17th International Software Product Line Conference","location":"Tokyo Japan","acronym":"SPLC 2013","sponsor":["IPSJ Information Processing Society of Japan"]},"container-title":["Proceedings of the 17th International Software Product Line Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491627.2491643","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2491627.2491643","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,6]],"date-time":"2026-08-06T14:22:36Z","timestamp":1786026156000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2491627.2491643"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8,26]]},"references-count":24,"alternative-id":["10.1145\/2491627.2491643","10.1145\/2491627"],"URL":"https:\/\/doi.org\/10.1145\/2491627.2491643","relation":{},"subject":[],"published":{"date-parts":[[2013,8,26]]},"assertion":[{"value":"2013-08-26","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}