{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:45:25Z","timestamp":1725518725943},"publisher-location":"Berlin, Heidelberg","reference-count":6,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540874041"},{"type":"electronic","value":"9783540874058"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-87405-8_50","type":"book-chapter","created":{"date-parts":[[2008,9,17]],"date-time":"2008-09-17T06:48:17Z","timestamp":1221634097000},"page":"514-516","source":"Crossref","is-referenced-by-count":0,"title":["Using a Triple Graph Grammar for State Machine Implementations"],"prefix":"10.1007","author":[{"given":"Michael","family":"Striewe","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"50_CR1","unstructured":"Goedicke, M., Balz, M., Striewe, M.: UPPAAL-Modelle als ausf\u00fchrbare Spezifikation in Java. In: Proceedings of Workshop Modellgetriebene Softwarearchitektur - Evolution, Integration und Migration (MSEIM 2008), Munich (2008)"},{"key":"50_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"476","DOI":"10.1007\/11557432_36","volume-title":"Model Driven Engineering Languages and Systems","author":"P. Baker","year":"2005","unstructured":"Baker, P., Loh, S., Weil, F.: Model-Driven Engineering in a Large Industrial Context \u2013 Motorola Case Study. In: Briand, L., Williams, C. (eds.) MoDELS 2005. LNCS, vol.\u00a03713, pp. 476\u2013491. Springer, Heidelberg (2005)"},{"issue":"3","key":"50_CR3","doi-asserted-by":"publisher","first-page":"451","DOI":"10.1147\/sj.453.0451","volume":"45","author":"B. Hailpern","year":"2006","unstructured":"Hailpern, B., Tarr, P.: Model-driven development: The good, the bad, and the ugly. IBM Systems Journal\u00a045(3), 451\u2013461 (2006)","journal-title":"IBM Systems Journal"},{"key":"50_CR4","series-title":"Lecture Notes in Computer Science","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"A. Sch\u00fcrr","year":"1995","unstructured":"Sch\u00fcrr, A.: Specification of graph translators with triple graph grammars. In: Mayr, E.W., Schmidt, G., Tinhofer, G. (eds.) WG 1994. LNCS, vol.\u00a0903. Springer, Heidelberg (1995)"},{"key":"50_CR5","unstructured":"AGG-Team: The AGG website, \n                    \n                      http:\/\/tfs.cs.tu-berlin.de\/agg\/"},{"issue":"1\u20132","key":"50_CR6","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/s100090050010","volume":"1","author":"K.G. Larsen","year":"1997","unstructured":"Larsen, K.G., Pettersson, P., Yi, W.: Uppaal in a Nutshell. Int. Journal on Software Tools for Technology Transfer\u00a01(1\u20132), 134\u2013152 (1997)","journal-title":"Int. Journal on Software Tools for Technology Transfer"}],"container-title":["Lecture Notes in Computer Science","Graph Transformations"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-87405-8_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:58:00Z","timestamp":1619510280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-87405-8_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540874041","9783540874058"],"references-count":6,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-87405-8_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}