{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:04:17Z","timestamp":1725699857641},"reference-count":0,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,7]]},"DOI":"10.1109\/acc.2015.7171970","type":"proceedings-article","created":{"date-parts":[[2015,7,30]],"date-time":"2015-07-30T21:26:01Z","timestamp":1438291561000},"page":"4097-4097","source":"Crossref","is-referenced-by-count":4,"title":["Automotive systems requirement mining using breach"],"prefix":"10.1109","author":[{"given":"Alexandre","family":"Donze","sequence":"first","affiliation":[]},{"given":"Xiaoqing","family":"Jin","sequence":"additional","affiliation":[]},{"given":"Jyotirmoy V.","family":"Deshmukh","sequence":"additional","affiliation":[]},{"given":"Sanjit A.","family":"Seshia","sequence":"additional","affiliation":[]}],"member":"263","event":{"name":"2015 American Control Conference (ACC)","start":{"date-parts":[[2015,7,1]]},"location":"Chicago, IL, USA","end":{"date-parts":[[2015,7,3]]}},"container-title":["2015 American Control Conference (ACC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7160954\/7170700\/07171970.pdf?arnumber=7171970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,24]],"date-time":"2017-03-24T23:23:24Z","timestamp":1490397804000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7171970\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,7]]},"references-count":0,"URL":"https:\/\/doi.org\/10.1109\/acc.2015.7171970","relation":{},"subject":[],"published":{"date-parts":[[2015,7]]}}}