{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:02:31Z","timestamp":1730214151457,"version":"3.28.0"},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,3]]},"DOI":"10.1109\/date.2008.4484888","type":"proceedings-article","created":{"date-parts":[[2008,4,15]],"date-time":"2008-04-15T18:15:51Z","timestamp":1208283351000},"page":"1510-1515","source":"Crossref","is-referenced-by-count":0,"title":["ezRealtime: A Domain-Specific Modeling Tool for Embedded Hard Real-Time Software Synthesis"],"prefix":"10.1109","author":[{"given":"Fabiano","family":"Cruz","sequence":"first","affiliation":[]},{"given":"Raimundo","family":"Barreto","sequence":"additional","affiliation":[]},{"given":"Lucas","family":"Cordeiro","sequence":"additional","affiliation":[]},{"given":"Paulo","family":"Maciel","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"13","article-title":"the petri net markup language","volume":"2472","author":"weber","year":"2003","journal-title":"LNCS"},{"key":"11","article-title":"generative programming for embedded systems","author":"sztipanovits","year":"2002","journal-title":"PPDP '02 Proc 4th ACM SIGPLAN conf on Principles and practice of declarative programming"},{"key":"12","article-title":"the top-cased project - a toolkit in open-source for critical applications and system development","author":"vernadat","year":"2006","journal-title":"Data Systems In Aerospace (DASIA) Berlin Germany 22\/05\/2006-25\/05\/2006"},{"journal-title":"Eclipse Modeling Framework","year":"2003","author":"budinsky","key":"3"},{"journal-title":"A Time Petri Net-Based Methodology for Embedded Hard Real-Time Software Synthesis","year":"2005","author":"barreto","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1999.818838"},{"journal-title":"Fundamental Design Problems of Distributed Systems for the Hard-Real-Time Environment","year":"1983","author":"mok","key":"10"},{"key":"7","article-title":"the generic modeling environment","volume":"17","author":"ledeczi","year":"2001","journal-title":"Workshop on Intelligent Signal Processing"},{"key":"6","article-title":"software and systems engineering - high-level petri nets","author":"kindler","year":"2005","journal-title":"Transfert format"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-28630-1_19"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1007\/BF01245300"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/TCOM.1976.1093424"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80254-3"}],"event":{"name":"2008 Design, Automation and Test in Europe","start":{"date-parts":[[2008,3,10]]},"location":"Munich, Germany","end":{"date-parts":[[2008,3,14]]}},"container-title":["2008 Design, Automation and Test in Europe"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4475437\/4484624\/04484888.pdf?arnumber=4484888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T11:56:56Z","timestamp":1489665416000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4484888\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,3]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/date.2008.4484888","relation":{},"subject":[],"published":{"date-parts":[[2008,3]]}}}