{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:35:57Z","timestamp":1757781357785},"reference-count":13,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,11]]},"DOI":"10.1109\/itsc.2018.8569979","type":"proceedings-article","created":{"date-parts":[[2018,12,13]],"date-time":"2018-12-13T01:21:46Z","timestamp":1544664106000},"source":"Crossref","is-referenced-by-count":21,"title":["Safety Guaranteed Connected Cruise Control"],"prefix":"10.1109","author":[{"given":"Chaozhe R.","family":"He","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gabor","family":"Orosz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2015.2509782"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2017.7963721"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2016.7798274"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1098\/rsta.2010.0205"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1080\/00423114.2016.1193209"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1002\/rnc.3600"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.08.013"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/9.995041"},{"key":"ref8","article-title":"Correctness guarantees for the composition of lane keeping and adaptive cruise control","author":"xu","year":"2017","journal-title":"IEEE Transactions on Automation Science and Engineering"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2016.2638961"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2018.04.005"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.23919\/ACC.2018.8431512"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.trc.2014.04.014"}],"event":{"name":"2018 21st International Conference on Intelligent Transportation Systems (ITSC)","location":"Maui, HI","start":{"date-parts":[[2018,11,4]]},"end":{"date-parts":[[2018,11,7]]}},"container-title":["2018 21st International Conference on Intelligent Transportation Systems (ITSC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8543039\/8569013\/08569979.pdf?arnumber=8569979","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,8,24]],"date-time":"2020-08-24T04:10:07Z","timestamp":1598242207000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8569979\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,11]]},"references-count":13,"URL":"https:\/\/doi.org\/10.1109\/itsc.2018.8569979","relation":{},"subject":[],"published":{"date-parts":[[2018,11]]}}}