{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:33:29Z","timestamp":1725564809644},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/iecon.2013.6700279","type":"proceedings-article","created":{"date-parts":[[2014,1,6]],"date-time":"2014-01-06T12:14:59Z","timestamp":1389010499000},"page":"6916-6921","source":"Crossref","is-referenced-by-count":1,"title":["A customized design framework for the model-based development of engine control systems"],"prefix":"10.1109","author":[{"given":"Martin","family":"Hufner","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Sonntag","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Engell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Grobosch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/ISoLA.2006.62"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1515\/9783486800265"},{"key":"18","first-page":"12503","article-title":"Using timed automata in requirements analysis for engine control units","author":"grobosch","year":"2011","journal-title":"Proc IFAC World Congress"},{"key":"15","article-title":"Report on the tools and the tool integration platform functionalities","author":"punter","year":"2012","journal-title":"MULTIFORM"},{"key":"16","article-title":"Final description of the case studies","author":"reke","year":"2010","journal-title":"MULTIFORM"},{"key":"13","first-page":"12509","article-title":"A transformation framework for the compositional interchange format for hybrid systems","author":"hendriks","year":"2011","journal-title":"Proc IFAC World Congress"},{"key":"14","article-title":"Report on the implementation architecture","author":"moneva","year":"2011","journal-title":"MULTIFORM"},{"key":"11","first-page":"12496","article-title":"A semantic-preserving transformation from the compositional interchange format to uppaal","author":"nadales agut","year":"2011","journal-title":"Proc IFAC World Congress"},{"key":"12","first-page":"12515","article-title":"On the connection of equation-And automata-based languages: Transforming the compositional interchange format to modelica","author":"sonntag","year":"2011","journal-title":"Proc IFAC World Congress"},{"year":"0","key":"3"},{"journal-title":"EU-FP7 Research Project Contract Number INFSO-ICT-224249","article-title":"Integrated multi-formalism tool support for the design of networked embedded control systems","year":"2008","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1002\/j.2334-5837.2010.tb01063.x"},{"key":"10","first-page":"250","article-title":"New concepts in the abstract format of the compositional interchange format","author":"van beek","year":"2009","journal-title":"Proc IFAC Conf on Analysis and Design of Hybrid Systems"},{"journal-title":"Modelica-A Unified Object-oriented Language for Physical Systems Modeling","year":"2013","key":"7"},{"key":"6","first-page":"134","article-title":"Uppaal in a nutshell","author":"larsen","year":"1998","journal-title":"International Journal on Software Tools for Technology Transfer 1"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1016\/B978-0-444-59506-5.50165-6"},{"year":"0","key":"4"},{"key":"9","first-page":"95","article-title":"Ecosimpro and its el object-oriented modeling language","author":"jorri?n","year":"2008","journal-title":"Proc 2nd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools"},{"journal-title":"GPROMS","year":"2013","key":"8"}],"event":{"name":"IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society","start":{"date-parts":[[2013,11,10]]},"location":"Vienna, Austria","end":{"date-parts":[[2013,11,13]]}},"container-title":["IECON 2013 - 39th Annual Conference of the IEEE Industrial Electronics Society"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6683943\/6699103\/06700279.pdf?arnumber=6700279","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T19:48:45Z","timestamp":1490212125000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6700279\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/iecon.2013.6700279","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}