{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,21]],"date-time":"2026-02-21T20:37:55Z","timestamp":1771706275022,"version":"3.50.1"},"reference-count":20,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"9","license":[{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-009"},{"start":{"date-parts":[[2021,9,1]],"date-time":"2021-09-01T00:00:00Z","timestamp":1630454400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-001"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Computer"],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1109\/mc.2021.3055883","type":"journal-article","created":{"date-parts":[[2021,8,27]],"date-time":"2021-08-27T20:08:24Z","timestamp":1630094904000},"page":"15-24","source":"Crossref","is-referenced-by-count":5,"title":["Formal Verification of Cyberphysical Systems"],"prefix":"10.1109","volume":"54","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3777-9858","authenticated-orcid":false,"given":"James Bret","family":"Michael","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1723-8467","authenticated-orcid":false,"given":"Doron","family":"Drusinsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-7122-3055","authenticated-orcid":false,"given":"Duminda","family":"Wijesekera","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/3209108.3209109"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886680"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_22"},{"key":"ref13","author":"mitra","year":"2021","journal-title":"Verifying Cyber-Physical Systems A Path to Safe Autonomy"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.4271\/2016-01-0621"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2015.2471838"},{"key":"ref17","article-title":"Towards verified artificial intelligence","author":"seshia","year":"2016"},{"key":"ref18","author":"lee","year":"2017","journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1145\/3428300"},{"key":"ref4","year":"1995","journal-title":"Intel takes $475-million earnings hit Computers The charge for replacing flawed Pentium chips mars an otherwise stellar year"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/S0036144595293959"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2020.2978567"},{"key":"ref5","year":"0"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1145\/3188720"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2020.3001958"},{"key":"ref2","first-page":"7","article-title":"On the reliability of mechanisms","author":"dijkstra","year":"1970","journal-title":"Notes on Structured Programming"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1201\/b11159"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/3377813.3381347"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICRA40945.2020.9196513"}],"container-title":["Computer"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/2\/9524643\/09524661.pdf?arnumber=9524661","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:48:31Z","timestamp":1652194111000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9524661\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":20,"journal-issue":{"issue":"9"},"URL":"https:\/\/doi.org\/10.1109\/mc.2021.3055883","relation":{},"ISSN":["0018-9162","1558-0814"],"issn-type":[{"value":"0018-9162","type":"print"},{"value":"1558-0814","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9]]}}}