{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T05:46:09Z","timestamp":1725515169942},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540709299"},{"type":"electronic","value":"9783540709305"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70930-5_5","type":"book-chapter","created":{"date-parts":[[2008,7,16]],"date-time":"2008-07-16T11:58:24Z","timestamp":1216209504000},"page":"67-83","source":"Crossref","is-referenced-by-count":3,"title":["Towards Verification of Model Transformations Via Goal-Directed Certification"],"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":"5_CR1","unstructured":"Matlab\u2019s Simulink\/Stateflow, http:\/\/www.mathworks.com\/products\/stateflow\/"},{"key":"5_CR2","unstructured":"OSC Embedded Validator, http:\/\/www.osc-es.de\/index.php?idcat=17"},{"key":"5_CR3","unstructured":"The Abstract State Machine Language, http:\/\/www.research.microsoft.com\/fse\/asml"},{"key":"5_CR4","unstructured":"TNI Safety-Checker Blockset, http:\/\/www.tni.fr\/en\/produits\/safetycheckerblockset\/index.php"},{"key":"5_CR5","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1145\/949344.949347","volume-title":"OOPSLA 2003: 18th annual ACM SIGPLAN conference on OOP, systems, languages, and applications","author":"A. Agrawal","year":"2003","unstructured":"Agrawal, A., Karsai, G., Ledeczi, A.: An end-to-end domain-driven software development framework. In: OOPSLA 2003: 18th annual ACM SIGPLAN conference on OOP, systems, languages, and applications, pp. 8\u201315. ACM Press, New York (2003)"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Chen, K., Sztipanovits, J., Abdelwahed, S., Jackson, E.K.: Semantic Anchoring with Model Transformations. In: ECMDA-FA, pp. 115\u2013129 (2005)","DOI":"10.1007\/11581741_10"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1086228.1086236","volume-title":"EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software","author":"K. Chen","year":"2005","unstructured":"Chen, K., Sztipanovits, J., Neema, S.: Toward a semantic anchoring infrastructure for domain-specific modeling languages. In: EMSOFT 2005: Proceedings of the 5th ACM international conference on Embedded software, pp. 35\u201343. ACM Press, New York (2005)"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Denney, E., Fischer, B.: Certifiable Program Generation. In: GPCE, pp. 17\u201328 (2005)","DOI":"10.1007\/11561347_3"},{"key":"5_CR9","doi-asserted-by":"publisher","first-page":"130","DOI":"10.1007\/BFb0000103","volume-title":"Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science","author":"H. G\u00f6ttler","year":"1983","unstructured":"G\u00f6ttler, H.: Attributed graph grammars for graphics. In: Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science, London, UK, pp. 130\u2013142. Springer, Heidelberg (1983)"},{"issue":"3","key":"5_CR10","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":"5_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"365","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, pp. 365\u2013379. Springer, Heidelberg (2006)"},{"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. Software Engineering\u00a023(5), 279\u2013295 (1997)","journal-title":"Software Engineering"},{"issue":"11","key":"5_CR13","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1109\/2.963443","volume":"34","author":"A. Ledeczi","year":"2001","unstructured":"Ledeczi, A., Bakay, A., Maroti, M., Volgyesi, P., Nordstrom, G., Sprinkle, J., Karsai, G.: Composing Domain-Specific Design Environments. Computer\u00a034(11), 44\u201351 (2001)","journal-title":"Computer"},{"key":"5_CR14","first-page":"181","volume-title":"ASIAN 1997: Proceedings of the Third Asian Computing Science Conference on Advances in Computing Science","author":"E. Mikk","year":"1997","unstructured":"Mikk, E., Lakhnech, Y., Siegel, M.: Hierarchical Automata as Model for Statecharts. In: ASIAN 1997, pp. 181\u2013196. Springer, Heidelberg (1997)"},{"key":"5_CR15","first-page":"90","volume-title":"WIFT 1998: Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques","author":"E. Mikk","year":"1998","unstructured":"Mikk, E., Lakhnech, Y., Siegel, M., Holzmann, G.J.: Implementing Statecharts in PROMELA\/SPIN. In: WIFT 1998: Proceedings of the Second IEEE Workshop on Industrial Strength Formal Specification Techniques, Washington, DC, USA, p. 90. IEEE Computer Society Press, Los Alamitos (1998)"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Necula, G.C.: Proof-carrying code. In: Proceedings of the 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Langauges (POPL 1997), January 1997, pp. 106\u2013119 (1997)","DOI":"10.1145\/263699.263712"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"Sch\u00fcrr, A., Winter, A., Z\u00fcndorf, A.: The PROGRES approach: Language and environment. In: Rozenberg [21], ch.\u00a013, pp. 487\u2013550, 15.","DOI":"10.1142\/9789812815149_0013"},{"key":"5_CR18","volume-title":"The 22nd International Conferenceon Software Engineering (ICSE)","author":"U. Nickel","year":"2000","unstructured":"Nickel, U., Niere, J., Z\u00fcndorf, A.: Tool demonstration: The FUJABA environment. In: The 22nd International Conferenceon Software Engineering (ICSE), Limerick, Ireland, ACMPress, Limerick (2000)"},{"key":"5_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"378","DOI":"10.1007\/3-540-45832-8_28","volume-title":"Proc. ICGT 2002: 1st International Conference on Graph Transformation","author":"D. Varr\u00f3","year":"2002","unstructured":"Varr\u00f3, 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":"5_CR20","first-page":"128","volume-title":"ProCoS: Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems","author":"M. Beeck von der","year":"1994","unstructured":"von der Beeck, M.: A Comparison of Statecharts Variants. In: ProCoS: Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems, London, UK, pp. 128\u2013148. Springer, Heidelberg (1994)"}],"container-title":["Lecture Notes in Computer Science","Model-Driven Development of Reliable Automotive Services"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70930-5_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T00:32:39Z","timestamp":1620001959000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70930-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540709299","9783540709305"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70930-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}