{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:57:39Z","timestamp":1725490659175},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749837"},{"type":"electronic","value":"9783540749844"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-74984-4_2","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T05:13:08Z","timestamp":1188537188000},"page":"19-34","source":"Crossref","is-referenced-by-count":1,"title":["Model Driven Development and Code Generation: An Automotive Case Study"],"prefix":"10.1007","author":[{"given":"Michele","family":"Banci","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Fantechi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefania","family":"Gnesi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giovanni","family":"Lombardi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"unstructured":"Model Checker for UML Statechart Diagrams, \n                    \n                      fmt.isti.cnr.it\/umc\/","key":"2_CR1"},{"unstructured":"Le Guennec, A., Dion, B.: Bridging UML and Safety-Critical Software Development Environments, ERTS, Toulouse, France (January 2006)","key":"2_CR2"},{"unstructured":"Brooks, C., Lee, E.A., Liu, X., Neuendorffer, S., Zhao, Y., Zheng, H.: Heterogeneous Concurrent Modeling and Design in Java. Memorandum UCB\/ERL M04\/27, EECS, University of California, Berkeley, CA USA 94720 (July 2004)","key":"2_CR3"},{"issue":"9","key":"2_CR4","doi-asserted-by":"publisher","first-page":"1305","DOI":"10.1109\/5.97300","volume":"79","author":"N. Halbwachs","year":"1991","unstructured":"Halbwachs, N., Caspi, P., Raymond, P., Pilaud, D.: The synchronous dataflow programming language lustre. Proceedings of the IEEE\u00a079(9), 1305\u20131320 (1991)","journal-title":"Proceedings of the IEEE"},{"unstructured":"Raymond, P.: Compilation efficace d\u2019un langage d\u2019eclaratif synchrone: le generateur de code Lustre-v3. PhD thesis, Institut National Polytechnique de Grenoble (1991)","key":"2_CR5"},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11888116_3","volume-title":"Formal Techniques for Networked and Distributed Systems - FORTE 2006","author":"M. Wirsing","year":"2006","unstructured":"Wirsing, M., Clark, A., Gilmore, S., H\u00f6lzl, M.M., Knapp, A., Koch, N., Schroeder, A.: Semantic-Based Development of Service-Oriented Systems. In: Najm, E., Pradat-Peyre, J.F., Donzeau-Gouge, V.V. (eds.) FORTE 2006. LNCS, vol.\u00a04229, Springer, Heidelberg (2006)"},{"key":"2_CR7","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1145\/337180.337217","volume-title":"ICSE 2000","author":"J. Whittle","year":"2000","unstructured":"Whittle, J., Schumann, J.: Generating statechart designs from scenarios. In: ICSE 2000. Proceedings of the 22nd International Conference on on Software Engineering, Limerick Ireland, June 4-11, 2000, pp. 314\u2013323. ACM, New York (2000)"},{"key":"2_CR8","series-title":"Lecture Notes in Computer Science","volume-title":"Formal Methods: Applications and Technology","author":"M.H. Beek ter","year":"2007","unstructured":"ter Beek, M.H., Fantechi, A., Gnesi, S., Mazzanti, F.: An action\/state-based model-checking approach for the analysis of an asynchronous protocol for Service-Oriented Applications. In: Brim, L., Haverkort, B., Leucker, M., van de Pol, J. (eds.) FMICS 2006 and PDMC 2006. LNCS, vol.\u00a04346, Springer, Heidelberg (2007)"},{"key":"2_CR9","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1145\/1138953.1138956","volume-title":"SCESM \u201906","author":"H. Liang","year":"2006","unstructured":"Liang, H., Dingel, J., Diskin, Z.: A comparative survey of scenario-based to state-based model synthesis approaches. In: SCESM \u201906. Proceedings of the 2006 international workshop on Scenarios and state machines: models, algorithms, and tools, Shanghai, China, pp. 5\u201312. ACM, New York (2006)"}],"container-title":["Lecture Notes in Computer Science","SDL 2007: Design for Dependable Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74984-4_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:50:33Z","timestamp":1619520633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74984-4_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540749837","9783540749844"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74984-4_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}