{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:03:13Z","timestamp":1730214193243,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,4]]},"DOI":"10.1109\/date.2009.5090837","type":"proceedings-article","created":{"date-parts":[[2013,2,19]],"date-time":"2013-02-19T13:16:39Z","timestamp":1361279799000},"page":"1154-1159","source":"Crossref","is-referenced-by-count":8,"title":["An MDE methodology for the development of high-integrity real-time systems"],"prefix":"10.1109","author":[{"given":"S.","family":"Mazzini","sequence":"first","affiliation":[]},{"given":"S.","family":"Puri","sequence":"additional","affiliation":[]},{"given":"T.","family":"Vardanega","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"runtime mechanisms for property preservation in real-time systems","author":"zamorano","year":"2007","journal-title":"Proceedings of the 3rd Workshop on Operating Systems Platforms for Embedded Real-Time Applications"},{"year":"0","key":"22"},{"year":"0","key":"17"},{"year":"0","key":"23"},{"key":"18","article-title":"a general structure for the analysis framework of the uml marte profile","author":"espinoza","year":"0","journal-title":"MARTES Workshop 8th International Conference on Model Driven Engineering Languages and Systems"},{"journal-title":"A Gentle Introduction to the HRT-UML\/RCM Methodology","year":"2007","author":"cancila","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2008.12"},{"year":"0","key":"13"},{"year":"0","key":"14"},{"article-title":"guide to the use of the ada ravenscar profile in high integrity systems","year":"2003","author":"burns","key":"11"},{"year":"2006","key":"12","article-title":"meta object facility (mof) core specification"},{"year":"0","key":"21"},{"key":"3","article-title":"hrt-uml: taking hrt-hood into uml","volume":"2655","author":"mazzini","year":"2003","journal-title":"ser LNCS"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2010.2043741"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.2003.1212747"},{"year":"0","key":"1"},{"year":"0","key":"10"},{"key":"7","article-title":"software methodology and tool support for embedded control systems","author":"mazzini","year":"2005","journal-title":"Proceedings of the \"Adaptability Techniques for Control System Software\" session of the IFAC Conference"},{"journal-title":"OMG Unified Modeling Language Specification","year":"2001","key":"6"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/EURMIC.2004.1333350"},{"year":"0","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2009 Design, Automation & Test in Europe Conference & Exhibition (DATE'09)","start":{"date-parts":[[2009,4,20]]},"location":"Nice","end":{"date-parts":[[2009,4,24]]}},"container-title":["2009 Design, Automation & Test in Europe Conference & Exhibition"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4926138\/5090609\/05090837.pdf?arnumber=5090837","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T13:50:20Z","timestamp":1489758620000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5090837\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/date.2009.5090837","relation":{},"subject":[],"published":{"date-parts":[[2009,4]]}}}