{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,11]],"date-time":"2026-02-11T14:07:30Z","timestamp":1770818850342,"version":"3.50.1"},"reference-count":13,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"3","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-029"},{"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-037"}],"funder":[{"name":"Ministry of Human-Resource Development through the IMPRINT Project","award":["5496"],"award-info":[{"award-number":["5496"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Embedded Syst. Lett."],"published-print":{"date-parts":[[2021,9]]},"DOI":"10.1109\/les.2020.3035560","type":"journal-article","created":{"date-parts":[[2020,11,3]],"date-time":"2020-11-03T21:08:31Z","timestamp":1604437711000},"page":"138-141","source":"Crossref","is-referenced-by-count":2,"title":["SMT-Based Verification of Safety-Critical Embedded Control Software"],"prefix":"10.1109","volume":"13","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2882-8702","authenticated-orcid":false,"given":"Sunandan","family":"Adhikary","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amit","family":"Gurung","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jay","family":"Thakkar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4590-0665","authenticated-orcid":false,"given":"Antonio Bruto Da","family":"Costa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9329-6389","authenticated-orcid":false,"given":"Soumyajit","family":"Dey","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-2076-3577","authenticated-orcid":false,"given":"Aritra","family":"Hazra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2178-8154","authenticated-orcid":false,"given":"Pallab","family":"Dasgupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24690-6_13"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_28"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref13","year":"0","journal-title":"SaverECS Tool Repository"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.28"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562134"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14295-6_17"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-19835-9_21"},{"key":"ref8","first-page":"105","article-title":"Satisfiability modulo ODEs","author":"gao","year":"2013","journal-title":"Proc Formal Methods Comput -Aided Design"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/2883817.2883819"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49674-9_43"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2015.26"},{"key":"ref9","article-title":"dReach: ?-reachability analysis for hybrid systems","author":"kong","year":"2015","journal-title":"Tools and Algorithms for the Construction and Analysis of Systems (TACAS)"}],"container-title":["IEEE Embedded Systems Letters"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/4563995\/9524350\/09247249.pdf?arnumber=9247249","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T14:52:43Z","timestamp":1652194363000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9247249\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,9]]},"references-count":13,"journal-issue":{"issue":"3"},"URL":"https:\/\/doi.org\/10.1109\/les.2020.3035560","relation":{},"ISSN":["1943-0663","1943-0671"],"issn-type":[{"value":"1943-0663","type":"print"},{"value":"1943-0671","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021,9]]}}}