{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T16:49:04Z","timestamp":1761929344136},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540774181"},{"type":"electronic","value":"9783540774198"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-77419-8_1","type":"book-chapter","created":{"date-parts":[[2007,12,6]],"date-time":"2007-12-06T06:55:56Z","timestamp":1196924156000},"page":"1-18","source":"Crossref","is-referenced-by-count":7,"title":["On the Correctness of Model Transformations in the Development of Embedded Systems"],"prefix":"10.1007","author":[{"given":"Gabor","family":"Karsai","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anantha","family":"Narayanan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Matlab, Simulink and Stateflow tools: \n                    \n                      http:\/\/www.mathworks.com"},{"key":"1_CR2","unstructured":"Matrix-X tools: \n                    \n                      http:\/\/www.ni.com"},{"key":"1_CR3","unstructured":"Rhapsody tools: \n                    \n                      http:\/\/www.ilogix.com"},{"key":"1_CR4","unstructured":"The NuSMV tools: \n                    \n                      http:\/\/nusmv.irst.itc.it"},{"key":"1_CR5","unstructured":"Formal Verification with SPIN: \n                    \n                      http:\/\/spinroot.com"},{"issue":"10","key":"1_CR6","doi-asserted-by":"publisher","first-page":"64","DOI":"10.1109\/MC.2004.172","volume":"37","author":"D. Harel","year":"2004","unstructured":"Harel, D., Rumpe, B.: Meaningful Modeling: What\u2019s the Semantics of \u2018Semantics\u2019? Computer\u00a037(10), 64\u201372 (2004)","journal-title":"Computer"},{"key":"1_CR7","volume-title":"Behavioral Specifications of Businesses and Systems","author":"A. Evans","year":"1999","unstructured":"Evans, A., Lano, K., France, R., Rumpe, B.: Meta-modeling semantics of UML. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems, Kluwer Academic Publisher, Dordrecht (1999)"},{"issue":"3","key":"1_CR8","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10270-006-0027-7","volume":"5","author":"A. Agrawal","year":"2006","unstructured":"Agrawal, A., Karsai, G., Neema, S., Shi, F., Vizhanyo, A.: The design of a language for model transformations. Journal Software and Systems Modeling\u00a05(3), 261\u2013288 (2006)","journal-title":"Journal Software and Systems Modeling"},{"key":"1_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"17","DOI":"10.1007\/11561347_3","volume-title":"GPCE 2005","author":"E. Denney","year":"2005","unstructured":"Denney, E., Fischer, B.: Certifiable Program Generation. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 17\u201328. Springer, Heidelberg (2005)"},{"key":"1_CR10","volume-title":"COCV 2002","author":"L. Zuck","year":"2002","unstructured":"Zuck, L., Pnueli, A., Fang, Y., Goldberg, B.: VOC: A Translation Validator for Optimizing Compilers. In: COCV 2002. International Workshop on Compilers Optimization Meets Compiler Verification, ENTCS, vol.\u00a065(2), Elsevier Science, Amsterdam (2002)"},{"issue":"5","key":"1_CR11","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"G. Holzmann","year":"1997","unstructured":"Holzmann, G.: The model checker SPIN. IEEE Transactions on Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1007\/3-540-63875-X_52","volume-title":"ASIAN 1997","author":"E. Mikk","year":"1997","unstructured":"Mikk, E., Lakhnech, Y., Siegel, M.: Hierarchical automata as model for statecharts. In: Shyamasundar, R.K., Euda, K. (eds.) ASIAN 1997. LNCS, vol.\u00a01345, pp. 181\u2013196. Springer, Heidelberg (1997)"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/3-540-45832-8_28","volume-title":"ICGT 2002","author":"D. Varro","year":"2002","unstructured":"Varro, D.: A Formal Semantics of UML Statecharts by Model Transition Systems. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, pp. 378\u2013392. Springer, Heidelberg (2002)"},{"key":"1_CR14","first-page":"298","volume-title":"LICS 2004","author":"D. Sangiorgi","year":"2004","unstructured":"Sangiorgi, D.: Bisimulation: From the origins to today. In: LICS 2004. Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, pp. 298\u2013302. IEEE Computer Society, Los Alamitos (2004)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1007\/11576259","volume-title":"ECMDA-FA 2005","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Abdelwahed, S., Jackson, E.K.: Semantic anchoring with model transformations. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 115\u2013129. Springer, Heidelberg (2005)"},{"key":"1_CR16","first-page":"9","volume-title":"Evolving Algebras 1993: Lipari Guide","author":"Y. Gurevich","year":"1993","unstructured":"Gurevich, Y.: Specification and Validation Methods. In: Evolving Algebras 1993: Lipari Guide, pp. 9\u201336. Oxford University Press, Oxford (1993)"},{"key":"1_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11874683_24","volume-title":"Computer Science Logic","author":"W. Harwood","year":"2006","unstructured":"Harwood, W., Moller, F., Setzer, A.: Weak bisimulation approximants. In: \u00c9sik, Z. (ed.) CSL 2006. LNCS, vol.\u00a04207, Springer, Heidelberg (2006)"},{"issue":"3","key":"1_CR18","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"Science of Computer Programming"},{"key":"1_CR19","series-title":"Lecture Notes in Computer Science","first-page":"128","volume-title":"ProCoS 1994","author":"M. Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A comparison of statecharts variants. In: Langmaack, H., de Roever, W.-P., Vytopil, J. (eds.) ProCoS 1994. LNCS, vol.\u00a0863, pp. 128\u2013148. Springer, Heidelberg (1994)"},{"key":"1_CR20","unstructured":"Simulink Reference, The Mathworks, Inc. (July 2002)"}],"container-title":["Lecture Notes in Computer Science","Composition of Embedded Systems. Scientific and Industrial Issues"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-77419-8_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,26]],"date-time":"2019-02-26T04:28:24Z","timestamp":1551155304000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-77419-8_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540774181","9783540774198"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-77419-8_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}