{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,13]],"date-time":"2026-06-13T16:24:21Z","timestamp":1781367861348,"version":"3.54.1"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"},{"start":{"date-parts":[[2025,4,1]],"date-time":"2025-04-01T00:00:00Z","timestamp":1743465600000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["CNS-2233769"],"award-info":[{"award-number":["CNS-2233769"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]},{"name":"iCyPhy Research Center"},{"DOI":"10.13039\/100018146","name":"Denso","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100018146","id-type":"DOI","asserted-by":"publisher"}]},{"name":"Siemens"},{"DOI":"10.13039\/501100004405","name":"Toyota Motor Corporation","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100004405","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Embedded Syst. Lett."],"published-print":{"date-parts":[[2025,4]]},"DOI":"10.1109\/les.2024.3467332","type":"journal-article","created":{"date-parts":[[2024,9,25]],"date-time":"2024-09-25T17:30:57Z","timestamp":1727285457000},"page":"115-118","source":"Crossref","is-referenced-by-count":2,"title":["Software-Defined Watchdog Timers for Cyber-Physical Systems"],"prefix":"10.1109","volume":"17","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-9526-2149","authenticated-orcid":false,"given":"Benjamin","family":"Asch","sequence":"first","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Erling","family":"Jellum","sequence":"additional","affiliation":[{"name":"Department of Engineering Cybernetics, Norwegian University of Science and Technology, Tronheim, Norway"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8833-4117","authenticated-orcid":false,"given":"Marten","family":"Lohstroh","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5663-0584","authenticated-orcid":false,"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[{"name":"Department of Electrical Engineering and Computer Sciences, University of California at Berkeley, Berkeley, CA, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.future.2014.12.015"},{"key":"ref2","first-page":"1","article-title":"Risk and mitigation of nondeterminism in distributed cyber-physical systems","volume-title":"Proc. 21st ACM-IEEE Int. Conf. Formal Methods Models Syst. Design (MEMOCODE)","author":"Bateni"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/5.97297"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/5.97299"},{"key":"ref5","first-page":"1","article-title":"Coincidence problem in CPS simulations: The R-ROSACE case study","volume-title":"Proc. 9th Eur. Congr. Embed. Real Time Softw. Syst. ERTS2","author":"Deschamps"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-82453-1_17"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/IECON43393.2020.9254494"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-22337-2_8"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3448128"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3617687"},{"issue":"12","key":"ref11","first-page":"112","article-title":"Watchdog timers","volume":"13","author":"Murphy","year":"2000","journal-title":"Embed. Syst. Program."},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2014.6926012"}],"container-title":["IEEE Embedded Systems Letters"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/4563995\/10969144\/10693560-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/4563995\/10969144\/10693560.pdf?arnumber=10693560","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,18]],"date-time":"2025-04-18T17:38:14Z","timestamp":1744997894000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10693560\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,4]]},"references-count":12,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/les.2024.3467332","relation":{},"ISSN":["1943-0663","1943-0671"],"issn-type":[{"value":"1943-0663","type":"print"},{"value":"1943-0671","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,4]]}}}