{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T15:25:10Z","timestamp":1730215510440,"version":"3.28.0"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,9,1]],"date-time":"2020-09-01T00:00:00Z","timestamp":1598918400000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,9]]},"DOI":"10.1109\/ds-rt50469.2020.9213705","type":"proceedings-article","created":{"date-parts":[[2020,10,6]],"date-time":"2020-10-06T20:03:18Z","timestamp":1602014598000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Model Checking Actor-based Cyber-Physical Systems"],"prefix":"10.1109","author":[{"given":"Franco","family":"Cicirelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Libero","family":"Nigro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","first-page":"1232","article-title":"Statistical model checking of cyber-physical systems using hybrid Theatre","author":"nigro","year":"0","journal-title":"Advances in Intelligent Systems and Computing"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-23703-5_1"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-5613-0"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2016.03.004"},{"journal-title":"Rebeca modelling language","year":"0","key":"ref14"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/978-3-540-30080-9_7","article-title":"A tutorial on Uppaal. In Formal Methods for the Design of Real-Time Systems","volume":"3185","author":"behrmann","year":"2004","journal-title":"Lecture Notes in Computer Science"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2017.12.008"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/1086.001.0001"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-09766-4_125"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/COMPSAC48688.2020.0-138"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/3231590"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-24372-1_1"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1145\/3158668"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.simpat.2018.07.011"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/DS-RT47707.2019.8958695"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-02146-7_1"},{"journal-title":"Introduction to Embedded Systems-A Cyber-Physical Systems Approach","year":"2017","author":"lee","key":"ref1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1504\/IJSPM.2020.106965"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-014-0361-y"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/WorldS450073.2020.9210288"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/FDL.2019.8876922"}],"event":{"name":"2020 IEEE\/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)","start":{"date-parts":[[2020,9,14]]},"location":"Prague, Czech Republic","end":{"date-parts":[[2020,9,16]]}},"container-title":["2020 IEEE\/ACM 24th International Symposium on Distributed Simulation and Real Time Applications (DS-RT)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9204960\/9213512\/09213705.pdf?arnumber=9213705","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,27]],"date-time":"2022-06-27T15:44:04Z","timestamp":1656344644000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9213705\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ds-rt50469.2020.9213705","relation":{},"subject":[],"published":{"date-parts":[[2020,9]]}}}