{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,3]],"date-time":"2025-04-03T14:03:25Z","timestamp":1743689005050},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642304750"},{"type":"electronic","value":"9783642304767"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-30476-7_5","type":"book-chapter","created":{"date-parts":[[2012,5,25]],"date-time":"2012-05-25T15:29:43Z","timestamp":1337959783000},"page":"72-88","source":"Crossref","is-referenced-by-count":7,"title":["Reusable and Correct Endogenous Model Transformations"],"prefix":"10.1007","author":[{"given":"Suzana","family":"Andova","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark G. J.","family":"van den Brand","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luc","family":"Engelen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"5_CR1","doi-asserted-by":"crossref","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Engelen, L.J.P.: An Exercise in Iterative Domain-Specific Language Design. In: Proc. of EVOL\/IWPSE 2010, pp. 48\u201357. ACM (2010)","DOI":"10.1145\/1862372.1862386"},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Engelen, L.J.P.: Using a DSL and Fine-Grained Model Transformations to Explore the Boundaries of Model Verification. In: Proc. ICSTW 2011, pp. 63\u201366. IEEE Computer Society (2011)","DOI":"10.1109\/ICSTW.2011.8"},{"key":"5_CR3","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/978-3-540-69927-9_5","volume-title":"Theory and Practice of Model Transformations","author":"M.F. Amstel van","year":"2008","unstructured":"van Amstel, M.F., van den Brand, M.G.J., Proti\u0107, Z., Verhoeff, T.: Transforming Process Algebra Models into UML State Machines: Bridging a Semantic Gap? In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 61\u201375. Springer, Heidelberg (2008)"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Andova, S., van den Brand, M.G.J., Engelen, L.: Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. In: AMMSE, pp. 65\u201379 (2011)","DOI":"10.4204\/EPTCS.56.5"},{"key":"5_CR5","unstructured":"Baum, D.: NQC Programmer\u2019s Guide (2003)"},{"key":"5_CR6","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1145\/201019.201032","volume":"42","author":"R. Nicola De","year":"1995","unstructured":"De Nicola, R., Vaandrager, F.W.: Three logics for branching bisimulation. Journal of the ACM\u00a042, 458\u2013487 (1995)","journal-title":"Journal of the ACM"},{"key":"5_CR7","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-540-87405-8_14","volume-title":"Graph Transformations","author":"H. Ehrig","year":"2008","unstructured":"Ehrig, H., Ermel, C.: Semantical Correctness and Completeness of Model Transformations Using Graph and Rule Transformation. In: Ehrig, H., Heckel, R., Rozenberg, G., Taentzer, G. (eds.) ICGT 2008. LNCS, vol.\u00a05214, pp. 194\u2013210. Springer, Heidelberg (2008)"},{"key":"5_CR8","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-16265-7_14","volume-title":"Integrated Formal Methods","author":"M. H\u00fclsbusch","year":"2010","unstructured":"H\u00fclsbusch, M., K\u00f6nig, B., Rensink, A., Semenyak, M., Soltenborn, C., Wehrheim, H.: Showing Full Semantics Preservation in Model Transformation - A Comparison of Techniques. In: M\u00e9ry, D., Merz, S. (eds.) IFM 2010. LNCS, vol.\u00a06396, pp. 183\u2013198. Springer, Heidelberg (2010)"},{"key":"5_CR9","unstructured":"Giese, H., Glesner, S., Leitner, J., Sch\u00e4fer, W., Wagner, R.: Towards Verified Model Transformations. In: Proc. MoDeVa 2006, pp. 78\u201393 (2006)"},{"key":"5_CR10","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/3-540-57208-2_6","volume-title":"CONCUR\u201993","author":"R.J. Glabbeek van","year":"1993","unstructured":"van Glabbeek, R.J.: The Linear Time\u2013Branching Time Spectrum II: The Semantics of Sequential Systems with Silent Moves. In: Best, E. (ed.) CONCUR 1993. LNCS, vol.\u00a0715, pp. 66\u201381. Springer, Heidelberg (1993)"},{"key":"5_CR11","doi-asserted-by":"publisher","first-page":"555","DOI":"10.1145\/233551.233556","volume":"43","author":"R.J. Glabbeek van","year":"1996","unstructured":"van Glabbeek, R.J., Weijland, P.: Branching Time and Abstraction in Bisimulation Semantics. Journal of the ACM\u00a043, 555\u2013600 (1996)","journal-title":"Journal of the ACM"},{"issue":"5","key":"5_CR12","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G.J. Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"5_CR13","series-title":"LNCS","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-77419-8_1","volume-title":"Composition of Embedded Systems. Scientific and Industrial Issues","author":"G. Karsai","year":"2007","unstructured":"Karsai, G., Narayanan, A.: On the Correctness of Model Transformations in the Development of Embedded Systems. In: Kordon, F., Sokolsky, O. (eds.) Monterey Workshop 2006. LNCS, vol.\u00a04888, pp. 1\u201318. Springer, Heidelberg (2007)"},{"key":"5_CR14","unstructured":"Plotkin, G.D.: A Structural Approach to Operational Semantics. Technical Report DAIMI FN-19, University of Aarhus (1981)"},{"key":"5_CR15","unstructured":"Sch\u00e4tz, B.: Verification of Model Transformations. ECEASST\u00a029 (2010)"},{"issue":"2","key":"5_CR16","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-Driven Engineering. Computer\u00a039(2), 25\u201331 (2006)","journal-title":"Computer"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Theelen, B.D., et al.: Software\/Hardware Engineering with the Parallel Object-Oriented Specification Language. In: Proc. MEMOCODE 2007, pp. 139\u2013148. IEEE (2007)","DOI":"10.1109\/MEMCOD.2007.371231"},{"issue":"2","key":"5_CR18","doi-asserted-by":"publisher","first-page":"85","DOI":"10.1007\/s10270-003-0050-x","volume":"3","author":"D. Varr\u00f3","year":"2004","unstructured":"Varr\u00f3, D.: Automated formal verification of visual modeling languages by model checking. Software and System Modeling\u00a03(2), 85\u2013113 (2004)","journal-title":"Software and System Modeling"}],"container-title":["Lecture Notes in Computer Science","Theory and Practice of Model Transformations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30476-7_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T20:01:36Z","timestamp":1556827296000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30476-7_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642304750","9783642304767"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30476-7_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}