{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T20:28:21Z","timestamp":1725481701959},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1109\/sies.2016.7509430","type":"proceedings-article","created":{"date-parts":[[2016,7,14]],"date-time":"2016-07-14T21:41:34Z","timestamp":1468532494000},"page":"1-6","source":"Crossref","is-referenced-by-count":2,"title":["Testing real-time embedded software using runtime enforcement"],"prefix":"10.1109","author":[{"given":"Louis-Marie","family":"Givel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"Bechennec","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Brun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastien","family":"Faucou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olivier H.","family":"Roux","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0011-y"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85778-5_20"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2009.5347159"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0055044"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/SIES.2016.7509430"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2006.355432"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3182\/20140514-3-FR-4046.00041"},{"article-title":"A modal mu-calculus for durational transition systems","year":"0","author":"seidl","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00768-2_6"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0011-y"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45931-6_19"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-011-0114-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/HPCC-CSS-ICESS.2015.143"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2014.2357445"}],"event":{"name":"2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)","start":{"date-parts":[[2016,5,23]]},"location":"Krakow, Poland","end":{"date-parts":[[2016,5,25]]}},"container-title":["2016 11th IEEE Symposium on Industrial Embedded Systems (SIES)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7504669\/7509398\/07509430.pdf?arnumber=7509430","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:44:16Z","timestamp":1602690256000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7509430"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,5]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/sies.2016.7509430","relation":{},"subject":[],"published":{"date-parts":[[2016,5]]}}}