{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,4]],"date-time":"2026-06-04T08:55:23Z","timestamp":1780563323660,"version":"3.54.1"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642120282","type":"print"},{"value":"9783642120299","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-12029-9_3","type":"book-chapter","created":{"date-parts":[[2010,3,8]],"date-time":"2010-03-08T00:56:48Z","timestamp":1268009808000},"page":"29-43","source":"Crossref","is-referenced-by-count":14,"title":["Formal Real-Time Model Transformations in MOMENT2"],"prefix":"10.1007","author":[{"given":"Artur","family":"Boronat","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter Csaba","family":"\u00d6lveczky","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"3_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"559","DOI":"10.1007\/978-3-540-75209-7_38","volume-title":"Model Driven Engineering Languages and Systems","author":"C. Andr\u00e9","year":"2007","unstructured":"Andr\u00e9, C., Mallet, F., de Simone, R.: Modeling time(s). In: Engels, G., Opdyke, B., Schmidt, D.C., Weil, F. (eds.) MODELS 2007. LNCS, vol.\u00a04735, pp. 559\u2013573. Springer, Heidelberg (2007)"},{"key":"3_CR2","volume-title":"ISORC 2008","author":"B. Becker","year":"2008","unstructured":"Becker, B., Giese, H.: On Safe Service-Oriented Real-Time Coordination for Autonomous Vehicles. In: ISORC 2008. IEEE, Los Alamitos (2008)"},{"key":"3_CR3","series-title":"LNBIP","volume-title":"TOOLS-EUROPE 2009","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Meseguer, J.: Algebraic semantics of OCL-constrained metamodel specifications. In: TOOLS-EUROPE 2009. LNBIP, vol.\u00a033. Springer, Heidelberg (2009)"},{"key":"3_CR4","unstructured":"Boronat, A.: MOMENT: a formal framework for MOdel manageMENT. PhD in Computer Science, Universitat Polit\u00e8nica de Val\u00e8ncia (UPV), Spain (2007), http:\/\/www.cs.le.ac.uk\/people\/aboronat\/papers\/2007_thesis_ArturBoronat.pdf"},{"key":"3_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-00593-0_2","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2009","unstructured":"Boronat, A., Heckel, R., Meseguer, J.: Rewriting Logic Semantics and Verification of Model Transformations. In: Chechik, M., Wirsing, M. (eds.) FASE 2009. LNCS, vol.\u00a05503, pp. 18\u201333. Springer, Heidelberg (2009)"},{"key":"3_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"377","DOI":"10.1007\/978-3-540-78743-3_28","volume-title":"Fundamental Approaches to Software Engineering","author":"A. Boronat","year":"2008","unstructured":"Boronat, A., Meseguer, J.: An Algebraic Semantics for MOF. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol.\u00a04961, pp. 377\u2013391. Springer, Heidelberg (2008)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"All About Maude - A High-Performance Logical Framework","year":"2007","unstructured":"Clavel, M., Dur\u00e1n, F., Eker, S., Lincoln, P., Mart\u00ed-Oliet, N., Meseguer, J., Talcott, C. (eds.): All About Maude - A High-Performance Logical Framework. LNCS, vol.\u00a04350. Springer, Heidelberg (2007)"},{"key":"3_CR8","unstructured":"Eclipse Organization: The Eclipse Modeling Framework (2007), http:\/\/www.eclipse.org\/emf\/"},{"issue":"1","key":"3_CR9","first-page":"1","volume":"58","author":"S.. Gyapay","year":"2003","unstructured":"Gyapay, S., Varr\u00f3, D., Heckel, R.: Graph transformation with time. Fundam. Inform.\u00a058(1), 1\u201322 (2003)","journal-title":"Fundam. Inform."},{"key":"3_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"Meseguer, J.: Conditional rewriting logic as a unified model of concurrency. Theoretical Computer Science\u00a096, 73\u2013155 (1992)","journal-title":"Theoretical Computer Science"},{"key":"3_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1007\/3-540-64299-4_26","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J. Meseguer","year":"1998","unstructured":"Meseguer, J.: Membership algebra as a logical framework for equational specification. In: Parisi-Presicce, F. (ed.) WADT 1997. LNCS, vol.\u00a01376, pp. 18\u201361. Springer, Heidelberg (1998)"},{"key":"3_CR12","unstructured":"Object Management Group: The official OMG MARTE Web site (2009), http:\/\/www.omgmarte.org\/"},{"key":"3_CR13","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1016\/S0304-3975(01)00363-2","volume":"285","author":"P.C. \u00d6lveczky","year":"2002","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Specification of real-time and hybrid systems in rewriting logic. Theoretical Computer Science\u00a0285, 359\u2013405 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1-2","key":"3_CR14","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/s10990-007-9001-5","volume":"20","author":"P.C. \u00d6lveczky","year":"2007","unstructured":"\u00d6lveczky, P.C., Meseguer, J.: Semantics and pragmatics of Real-Time Maude. Higher-Order and Symbolic Computation\u00a020(1-2), 161\u2013196 (2007)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"OMG: Meta Object Facility (MOF) 2.0 Core Specification, ptc\/06-01-01 (2006)","DOI":"10.11156\/aibr.010102"},{"key":"3_CR16","unstructured":"Rivera, J., Vicente-Chicote, C., Vallecillo, A.: Extending visual modeling languages with timed behavioral specifications. In: XII Iberoamerican Conference on Requirements Engineering and Software Environments, IDEAS 2009 (2009)"},{"key":"3_CR17","doi-asserted-by":"crossref","DOI":"10.1142\/3303","volume-title":"Handbook of Grammars and Computing by Graph Transformation","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G.: Handbook of Grammars and Computing by Graph Transformation, vol.\u00a01. World Scientific Publishing Company, Singapore (1997)"},{"key":"3_CR18","unstructured":"SAE: AADL (2007), http:\/\/www.aadl.info\/"},{"issue":"2","key":"3_CR19","doi-asserted-by":"crossref","first-page":"25","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), 25\u201331 (2006)","journal-title":"IEEE Computer"},{"key":"3_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"91","DOI":"10.1007\/978-3-540-69927-9_7","volume-title":"Theory and Practice of Model Transformations","author":"E. Syriani","year":"2008","unstructured":"Syriani, E., Vangheluwe, H.: Programmed graph rewriting with time for simulation-based design. In: Vallecillo, A., Gray, J., Pierantonio, A. (eds.) ICMT 2008. LNCS, vol.\u00a05063, pp. 91\u2013106. Springer, Heidelberg (2008)"},{"key":"3_CR21","first-page":"175","volume":"152","author":"T. Szemethy","year":"2006","unstructured":"Szemethy, T.: Case study: Model transformations for time-triggered languages. ENTCS\u00a0152, 175\u2013190 (2006)","journal-title":"ENTCS"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-12029-9_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,30]],"date-time":"2023-05-30T19:56:43Z","timestamp":1685476603000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-12029-9_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642120282","9783642120299"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-12029-9_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}