{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:49:15Z","timestamp":1742989755653,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642162763"},{"type":"electronic","value":"9783642162770"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16277-0_14","type":"book-chapter","created":{"date-parts":[[2010,10,13]],"date-time":"2010-10-13T07:55:33Z","timestamp":1286956533000},"page":"323-328","source":"Crossref","is-referenced-by-count":4,"title":["14 MATE - A Model Analysis and Transformation Environment for MATLAB Simulink"],"prefix":"10.1007","author":[{"given":"Elodie","family":"Legros","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wilhelm","family":"Sch\u00e4fer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Sch\u00fcrr","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ingo","family":"St\u00fcrmer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"14_CR1","unstructured":"MathWorks Automotive Advisory Board Homepage, \n                    \n                      http:\/\/www.mathworks.com\/industries\/auto\/maab.html"},{"key":"14_CR2","unstructured":"Model Examiner Homepage, \n                    \n                      http:\/\/www.model-engineers.com\/our-products\/model-examiner.html"},{"key":"14_CR3","unstructured":"Mint Homepage, \n                    \n                      http:\/\/www.ricardo.com\/engineeringservices\/controlelectronics.aspx?page=mint"},{"key":"14_CR4","unstructured":"St\u00fcrmer, I., Kreuz, I., Sch\u00e4fer, W., Sch\u00fcrr, A.: Enhanced simulink and stateflow model transformation: The MATE approach. In: Proc. of MathWorks Automotive Conference (MAC 2007), June 19-20, Dearborn (MI), USA (2007)"},{"key":"14_CR5","unstructured":"Object Management Group: Meta Object Facility (MOF) 2.0 Core Specification. ptc\/03-10-04 (2003)"},{"key":"14_CR6","unstructured":"Fujaba Homepage, \n                    \n                      http:\/\/www.fujaba.de"},{"key":"14_CR7","unstructured":"MOFLON Homepage, \n                    \n                      http:\/\/www.moflon.org"},{"key":"14_CR8","unstructured":"Z\u00fcndorf, A.: Rigorous Object Oriented Software Development. University of Paderborn, Habilitation Thesis (2001)"},{"key":"14_CR9","unstructured":"OCL Specification, \n                    \n                      http:\/\/www.omg.org\/docs\/ptc\/03-10-14.pdf"},{"key":"14_CR10","doi-asserted-by":"crossref","unstructured":"Amelunxen, C., Legros, E., Sch\u00fcrr, A.: Checking and Enforcement of Modeling Guidelines with Graph Transformations. In: Sch\u00fcrr, A., Nagl, M., Z\u00fcndorf, A. (eds.) Proceedings of the Third International Symposium on Applications of Graph Transformations with Industrial Relevance (October 2007)","DOI":"10.1007\/978-3-540-89020-1_22"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"Amelunxen, C., Legros, E., Sch\u00fcrr, A.: Generic and Reflective Graph Transformations for the Checking and Enforcement of Modeling Guidelines. In: Proc. of the Visual Languages and Human-Centric Computing (VL\/HCC 2008), pp. 211\u2013218 (September 2008)","DOI":"10.1109\/VLHCC.2008.4639088"}],"container-title":["Lecture Notes in Computer Science","Model-Based Engineering of Embedded Real-Time Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16277-0_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T18:59:55Z","timestamp":1558292395000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16277-0_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642162763","9783642162770"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16277-0_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}