{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T17:32:41Z","timestamp":1742923961441,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642019234"},{"type":"electronic","value":"9783642019241"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-01924-1_11","type":"book-chapter","created":{"date-parts":[[2009,6,5]],"date-time":"2009-06-05T13:25:15Z","timestamp":1244208315000},"page":"149-163","source":"Crossref","is-referenced-by-count":2,"title":["Implementing Reactive Systems with UML State Machines and Ada 2005"],"prefix":"10.1007","author":[{"given":"Sergio","family":"S\u00e1ez","sequence":"first","affiliation":[]},{"given":"Silvia","family":"Terrasa","sequence":"additional","affiliation":[]},{"given":"Vicente","family":"Lorente","sequence":"additional","affiliation":[]},{"given":"Alfons","family":"Crespo","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Harel, D., Pnueli, A.: On the development of reactive systems. Logics and models of concurrent systems, 477\u2013498 (1985)","DOI":"10.1007\/978-3-642-82453-1_17"},{"issue":"3","key":"11_CR2","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. The Science of Computer Programming\u00a08(3), 231\u2013274 (1987)","journal-title":"The Science of Computer Programming"},{"key":"11_CR3","unstructured":"Object Management Group: Unified Modeling Language (OMG UML) V2.1 (november 2007), http:\/\/www.omg.org\/spec\/UML\/2.1.2"},{"issue":"2","key":"11_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Model-driven engineering. IEEE Computer\u00a039(2), 41\u201347 (2006)","journal-title":"IEEE Computer"},{"key":"11_CR5","unstructured":"Object Management Group: Model Driven Architecture Guide Version v1.0.1 (2003), http:\/\/www.omg.org\/docs\/omg\/03-06-01.pdf"},{"key":"11_CR6","unstructured":"Object Management Group: MOF 2.0\/XMI Mapping, Version 2.1.1 (2007), http:\/\/www.omg.org\/spec\/XMI\/2.1\/PDF"},{"key":"11_CR7","unstructured":"Object Management Group: Meta-Object Facility, MOF (2004), http:\/\/www.omg.org\/spec\/MOF\/2.0\/PDF"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/978-3-540-73230-3_13","volume-title":"Reliable Software Technologies - Ada-Europe 2007","author":"D. Alonso","year":"2007","unstructured":"Alonso, D., Vicente-Chicote, C., S\u00e1nchez, P., \u00c1lvarez, B., Losilla, F.: Automatic ada code generation using a model-driven engineering approach. In: Abdennahder, N., Kordon, F. (eds.) Ada-Europe 2007. LNCS, vol.\u00a04498, pp. 168\u2013179. Springer, Heidelberg (2007)"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"158","DOI":"10.1007\/978-3-540-68624-8_12","volume-title":"Reliable Software Technologies \u2013 Ada-Europe 2008","author":"D. Alonso","year":"2008","unstructured":"Alonso, D., Vicente-Chicote, C., Pastor, J.A., \u00c1lvarez, B.: Stateml $^{\\mbox{+}}$ : From graphical state machine models to thread-safe ada code. In: Kordon, F., Vardanega, T. (eds.) Ada-Europe 2008. LNCS, vol.\u00a05026, pp. 158\u2013170. Springer, Heidelberg (2008)"},{"key":"11_CR10","unstructured":"Barnett, J.: State Chart XML (SCXML): State Machine Notation for Control Abstraction (May 2008), http:\/\/www.w3.org\/TR\/scxml\/"},{"key":"11_CR11","unstructured":"Wieringa, R., Dehne, F.: Toolkit for Conceptual Modeling (TCM), http:\/\/wwwhome.cs.utwente.nl\/~tcm\/"},{"key":"11_CR12","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"}],"container-title":["Lecture Notes in Computer Science","Reliable Software Technologies \u2013 Ada-Europe 2009"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01924-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T13:51:21Z","timestamp":1558360281000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01924-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642019234","9783642019241"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01924-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}