{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T15:59:03Z","timestamp":1791129543927,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642252631","type":"print"},{"value":"9783642252648","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-25264-8_5","type":"book-chapter","created":{"date-parts":[[2011,12,3]],"date-time":"2011-12-03T09:18:36Z","timestamp":1322903916000},"page":"38-53","source":"Crossref","is-referenced-by-count":7,"title":["Synthesizing Software Models: Generating Train Station Models Automatically"],"prefix":"10.1007","author":[{"given":"Andreas","family":"Svendsen","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"\u00d8ystein","family":"Haugen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Birger","family":"M\u00f8ller-Pedersen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"5_CR1","first-page":"69","volume-title":"Software and Systems Modeling","author":"K. Anastasakis","year":"2010","unstructured":"Anastasakis, K., Bordbar, B., Georg, G., Ray, I.: On Challenges of Model Transformation from Uml to Alloy. In: Software and Systems Modeling, vol.\u00a09, pp. 69\u201386. Springer, Berlin (2010)"},{"key":"#cr-split#-5_CR2.1","unstructured":"Anastasakis, K., Bordbar, B., K??ster, J.M.: Analysis of Model Transformations Via Alloy. In: Baudry, B., Faivre, A., Ghosh, S., Pretschner, A. (eds.) 4th International Workshop on Model Driven Engineering, Verification and Validation. Springer, Nashville (2007);"},{"key":"#cr-split#-5_CR2.2","unstructured":"Conjunction with MODELS 2007"},{"key":"5_CR3","unstructured":"Andoni, A., Daniliuc, D., Khurshid, S., Marinov, D.: Evaluating the \u201cSmall Scope Hypothesis\u201d. MIT CSAIL MIT-LCS-TR-921 (2003)"},{"key":"5_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"306","DOI":"10.1007\/11841883_22","volume-title":"Graph Transformations","author":"L. Baresi","year":"2006","unstructured":"Baresi, L., Spoletini, P.: On the Use of Alloy to Analyze Graph Transformation Systems. In: Corradini, A., Ehrig, H., Montanari, U., Ribeiro, L., Rozenberg, G. (eds.) ICGT 2006. LNCS, vol.\u00a04178, pp. 306\u2013320. Springer, Heidelberg (2006)"},{"key":"5_CR5","first-page":"479","volume-title":"Software and Systems Modeling","author":"K. Ehrig","year":"2009","unstructured":"Ehrig, K., K\u00fcster, J., Taentzer, G.: Generating Instance Models from Meta Models. In: Software and Systems Modeling, vol.\u00a08, pp. 479\u2013500. Springer, Berlin (2009)"},{"key":"5_CR6","unstructured":"EMF, Eclipse Modeling Framework (Emf), http:\/\/www.eclipse.org\/modeling\/emf\/"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Endresen, J., Carlson, E., Moen, T., Alme, K.-J., Haugen, \u00d8., Olsen, G.K., Svendsen, A.: Train Control Language - Teaching Computers Interlocking. In: Computers in Railways XI (COMPRAIL 2008), Toledo, Spain (2008)","DOI":"10.2495\/CR080631"},{"key":"5_CR8","unstructured":"Gheyi, R., Massoni, T., Borba, P.: A Theory for Feature Models in Alloy. In: First Alloy Workshop, Portland, United States, pp. 71\u201380 (2006)"},{"key":"5_CR9","unstructured":"GMF, Eclipse Graphical Modeling Framework (Gmf), http:\/\/www.eclipse.org\/modeling\/gmf\/"},{"key":"5_CR10","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D. Jackson","year":"2006","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2006)"},{"key":"5_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/9780470249260","volume-title":"Domain-Specific Modeling: Enabling Full Code Generation","author":"S. Kelly","year":"2008","unstructured":"Kelly, S., Tolvanen, J.-P.: Domain-Specific Modeling: Enabling Full Code Generation. John Wiley & Sons, Inc, Chichester (2008)"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"690","DOI":"10.1007\/978-3-540-87875-9_48","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Kelsen","year":"2008","unstructured":"Kelsen, P., Ma, Q.: A Lightweight Approach for Defining the Formal Semantics of a Modeling Language. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 690\u2013704. Springer, Heidelberg (2008)"},{"key":"5_CR13","unstructured":"Oldevik, J.: Mofscript Eclipse Plug-In: Metamodel-Based Code Generation. In: Eclipse Technology Workshop (EtX) at ECOOP 2006, Nantes (2006)"},{"key":"5_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"148","DOI":"10.1007\/978-3-642-02408-5_11","volume-title":"Theory and Practice of Model Transformations","author":"S. Sen","year":"2009","unstructured":"Sen, S., Baudry, B., Mottu, J.-M.: Automatic Model Generation Strategies for Model Transformation Testing. In: Paige, R.F. (ed.) ICMT 2009. LNCS, vol.\u00a05563, pp. 148\u2013164. Springer, Heidelberg (2009)"},{"key":"5_CR15","volume-title":"6th International Workshop on Model-Driven Engineering, Verification and Validation","author":"S.M.A. Shah","year":"2009","unstructured":"Shah, S.M.A., Anastasakis, K., Bordbar, B.: From Uml to Alloy and Back Again. In: L\u00facio, L., Wei\u00dfleder, S. (eds.) 6th International Workshop on Model-Driven Engineering, Verification and Validation, ACM, Denver (2009)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Svendsen, A., M\u00f8ller-Pedersen, B., Haugen, \u00d8., Endresen, J., Carlson, E.: Formalizing Train Control Language: Automating Analysis of Train Stations. In: Comprail 2010, Beijing, China (2010)","DOI":"10.2495\/CR100241"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"128","DOI":"10.1007\/978-3-540-87875-9_9","volume-title":"Model Driven Engineering Languages and Systems","author":"A. Svendsen","year":"2008","unstructured":"Svendsen, A., Olsen, G.K., Endresen, J., Moen, T., Carlson, E., Alme, K.-J., Haugen, O.: The Future of Train Signaling. In: Busch, C., Ober, I., Bruel, J.-M., Uhl, A., V\u00f6lter, M. (eds.) MODELS 2008. LNCS, vol.\u00a05301, pp. 128\u2013142. Springer, Heidelberg (2008)"},{"key":"5_CR18","doi-asserted-by":"crossref","unstructured":"White, J., Schmidt, D.C.: Automated Configuration of Component-Based Distributed Real-Time and Embedded Systems from Feature Models. In: 17th Annual Conference of the International Federation of Automatic Control, Seoul, Korea (2008)","DOI":"10.3182\/20080706-5-KR-1001.01168"}],"container-title":["Lecture Notes in Computer Science","SDL 2011: Integrating System and Software Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-25264-8_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T03:12:32Z","timestamp":1561000352000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-25264-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642252631","9783642252648"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-25264-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}