{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T10:47:54Z","timestamp":1730198874739,"version":"3.28.0"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/aspdac.2013.6509631","type":"proceedings-article","created":{"date-parts":[[2013,5,3]],"date-time":"2013-05-03T19:36:53Z","timestamp":1367609813000},"page":"411-416","source":"Crossref","is-referenced-by-count":7,"title":["Formal verification of distributed controllers using Time-Stamped Event Count Automata"],"prefix":"10.1109","author":[{"given":"M.","family":"Kauer","sequence":"first","affiliation":[]},{"given":"S.","family":"Steinhorst","sequence":"additional","affiliation":[]},{"given":"D.","family":"Goswami","sequence":"additional","affiliation":[]},{"given":"R.","family":"Schneider","sequence":"additional","affiliation":[]},{"given":"M.","family":"Lukasiewycz","sequence":"additional","affiliation":[]},{"given":"S.","family":"Chakraborty","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Real-Time Calculus (RTC) Toolbox","year":"0","author":"wandeler","key":"15"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"14","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":"11","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2005.21"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.13"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/2039370.2039394"},{"journal-title":"Optimal Communication Logics in Networked Control Systems","year":"2004","author":"xu","key":"2"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/87.998034"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228484"},{"journal-title":"Automatic Verification of Control System Implementations","year":"2010","author":"martinez","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.10"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ECRTS.2006.24"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2008.52"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_46"},{"key":"8","first-page":"4812","author":"feron","year":"2008","journal-title":"Control Software Analysis Part i Open-Loop Properties"}],"event":{"name":"2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC 2013)","start":{"date-parts":[[2013,1,22]]},"location":"Yokohama","end":{"date-parts":[[2013,1,25]]}},"container-title":["2013 18th Asia and South Pacific Design Automation Conference (ASP-DAC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6507004\/6509548\/06509631.pdf?arnumber=6509631","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T21:12:44Z","timestamp":1490217164000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6509631\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/aspdac.2013.6509631","relation":{},"subject":[],"published":{"date-parts":[[2013,1]]}}}