{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T13:50:55Z","timestamp":1730296255323,"version":"3.28.0"},"reference-count":16,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,6]]},"DOI":"10.1109\/sies.2008.4577699","type":"proceedings-article","created":{"date-parts":[[2008,8,1]],"date-time":"2008-08-01T10:33:40Z","timestamp":1217586820000},"page":"192-199","source":"Crossref","is-referenced-by-count":2,"title":["Formal specification and verification of a protocol for consistent diagnosis in real-time embedded systems"],"prefix":"10.1109","author":[{"given":"Raul","family":"Barbosa","sequence":"first","affiliation":[]},{"given":"Johan","family":"Karlsson","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/WFCS.2006.1704119"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/PRDC.2006.36"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/REAL.1990.128744"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/RELDIS.1992.235140"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-35533-7_1"},{"key":"12","first-page":"155","article-title":"low-overhead time-triggered group membership","volume":"1320","author":"katz","year":"1997","journal-title":"LNCS"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"journal-title":"Time triggered communication on CAN (Time Triggered CAN - TTCAN)","year":"2000","author":"fu?hrer","key":"2"},{"year":"0","author":"berwanger","key":"1"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2007.70210"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/71.969128"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/FTCS.1988.5321"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/TPDS.2004.29"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"4"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/12.677244"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2006.13"}],"event":{"name":"2008 International Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2008,6,11]]},"location":"Le Grande Motte, France","end":{"date-parts":[[2008,6,13]]}},"container-title":["2008 International Symposium on Industrial Embedded Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4569831\/4577669\/04577699.pdf?arnumber=4577699","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,16]],"date-time":"2017-03-16T10:51:58Z","timestamp":1489661518000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4577699\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,6]]},"references-count":16,"URL":"https:\/\/doi.org\/10.1109\/sies.2008.4577699","relation":{},"subject":[],"published":{"date-parts":[[2008,6]]}}}