{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T04:14:13Z","timestamp":1748924053748,"version":"3.41.0"},"publisher-location":"Cham","reference-count":7,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319335995"},{"type":"electronic","value":"9783319336008"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-33600-8_17","type":"book-chapter","created":{"date-parts":[[2016,5,10]],"date-time":"2016-05-10T08:15:15Z","timestamp":1462868115000},"page":"250-255","source":"Crossref","is-referenced-by-count":3,"title":["A Model-Based Transformation Approach to Reuse and Retarget CASM Specifications"],"prefix":"10.1007","author":[{"given":"Philipp","family":"Paulweber","sequence":"first","affiliation":[]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,5,11]]},"reference":[{"key":"17_CR1","unstructured":"Gurevich, Y.: Evolving Algebras 1993: Lipari Guide Specification and Validation Methods, pp. 9\u201336. Oxford University Press, Inc., New York (1995)"},{"key":"17_CR2","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1007\/978-1-84882-736-3_3","volume-title":"Formal Methods: State of the Art and New Directions","author":"E B\u00f6rger","year":"2010","unstructured":"B\u00f6rger, E.: The abstract state machines method for high-level system design and analysis. In: Boca, P., Bowen, J.P., Siddiqi, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 79\u2013116. Springer, London (2010)"},{"key":"17_CR3","unstructured":"Lezuo, R., Barany, G., Krall, A.: CASM: implementing an abstract state machine based programming language. In: Software Engineering (Workshops), pp. 75\u201390 (2013)"},{"key":"17_CR4","doi-asserted-by":"crossref","unstructured":"Lezuo, R., Paulweber, P., Krall, A.: CASM - optimized compilation of abstract state machines. In: SIGPLAN\/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), pp. 13\u201322. ACM (2014)","DOI":"10.1145\/2666357.2597813"},{"key":"17_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"240","DOI":"10.1007\/978-3-540-30101-1_11","volume-title":"Formal Methods for Components and Objects","author":"Y Gurevich","year":"2004","unstructured":"Gurevich, Y., Rossman, B., Schulte, W.: Semantic essence of ASML: extended abstract. In: Boer, F.S., Bonsangue, M.M., Graf, S., Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 240\u2013259. Springer, Heidelberg (2004)"},{"issue":"1\u20132","key":"17_CR6","first-page":"71","volume":"77","author":"R Farahbod","year":"2007","unstructured":"Farahbod, R., Gervasi, V., Gl\u00e4sser, U.: CoreASM: an extensible ASM execution engine. Fundamenta Informaticae 77(1\u20132), 71\u2013104 (2007)","journal-title":"Fundamenta Informaticae"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Lattner, C., Adve, V.: LLVM: a compilation framework for lifelong program analysis and transformation. In: Code Generation and Optimization, pp. 75\u201386. IEEE (2004)","DOI":"10.1109\/CGO.2004.1281665"}],"container-title":["Lecture Notes in Computer Science","Abstract State Machines, Alloy, B, TLA, VDM, and Z"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-33600-8_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,3]],"date-time":"2025-06-03T02:34:50Z","timestamp":1748918090000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-33600-8_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319335995","9783319336008"],"references-count":7,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-33600-8_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}