{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:48:11Z","timestamp":1730198891956,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014,1]]},"DOI":"10.1109\/aspdac.2014.6742990","type":"proceedings-article","created":{"date-parts":[[2014,2,21]],"date-time":"2014-02-21T16:20:31Z","timestamp":1392999631000},"page":"812-817","source":"Crossref","is-referenced-by-count":1,"title":["Automata-theoretic modeling of fixed-priority non-preemptive scheduling for formal timing verification"],"prefix":"10.1109","author":[{"given":"Matthias","family":"Kauer","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Steinhorst","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Reinhard","family":"Schneider","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Martin","family":"Lukasiewycz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samarjit","family":"Chakraborty","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_46"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2007.46"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2013.6509631"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.11.019"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.21"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.2000.858698"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-007-9012-7"},{"key":"1","first-page":"251","article-title":"SAL 2","volume":"3114","author":"de moura","year":"2004","journal-title":"Computer Aided Verification Ser Lecture Notes in Computer Science"},{"key":"10","article-title":"Timed automata approach to CAN verification","author":"krakora","year":"2005","journal-title":"INCOM"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/RTCSA.2008.28"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.27"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364409"},{"journal-title":"Real-Time Calculus (RTC) Toolbox","year":"2006","author":"wandeler","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1995.495198"}],"event":{"name":"2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","start":{"date-parts":[[2014,1,20]]},"location":"Singapore","end":{"date-parts":[[2014,1,23]]}},"container-title":["2014 19th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6736726\/6742831\/06742990.pdf?arnumber=6742990","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,23]],"date-time":"2017-03-23T19:12:30Z","timestamp":1490296350000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6742990\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,1]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2014.6742990","relation":{},"subject":[],"published":{"date-parts":[[2014,1]]}}}