{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T15:52:08Z","timestamp":1725724328526},"reference-count":20,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,12,1]],"date-time":"2021-12-01T00:00:00Z","timestamp":1638316800000},"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":[[2021,12]]},"DOI":"10.1109\/qrs-c55045.2021.00043","type":"proceedings-article","created":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T16:34:21Z","timestamp":1648830861000},"page":"236-241","source":"Crossref","is-referenced-by-count":0,"title":["A Hybrid Automata Based on Event Algebra for CPS Modelling"],"prefix":"10.1109","author":[{"given":"Mingfu","family":"Tuo","sequence":"first","affiliation":[{"name":"Equipment Management and UAV Engineering School, Air Force Engineering University,Xi’An,China"}]},{"given":"Jian","family":"Zhao","sequence":"additional","affiliation":[{"name":"Air Force Engineering University,Fundamentals Department,Xi’An,China"}]},{"given":"Hongmei","family":"Zhang","sequence":"additional","affiliation":[{"name":"Equipment Management and UAV Engineering School, Air Force Engineering University,Xi’An,China"}]},{"given":"Yongmei","family":"Zhao","sequence":"additional","affiliation":[{"name":"Equipment Management and UAV Engineering School, Air Force Engineering University,Xi’An,China"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1145\/1837274.1837462"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2012.2189792"},{"key":"ref3","first-page":"21","volume-title":"Introduction to embedded systems: A cyber-physical systems approach[M]","author":"Lee","year":"2016"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.23919\/DATE.2017.7927249"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/iThings-GreenCom-CPSCom-SmartData.2016.140"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2016.2573762"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/QSIC.2007.4385521"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1061\/9780784480625.043"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1002\/smr.1880"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/2735960.2735971"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63121-9_31"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2014.07.003"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.3923\/itj.2013.7744.7748"},{"key":"ref14","first-page":"1","volume-title":"HybridSim: A Modeling and Co-simulationToolchain for Cyber-Physical Systems","author":"Baobing","year":"2014"},{"key":"ref15","first-page":"292","article-title":"Unification of publish\/subscribe systems and stream dateaases: The impact on complex event processing[C]","volume-title":"Proceedings of the 13th International Middleware Conference","author":"Sventek"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066268"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxw100"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2015.2397316"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/DCOSS.2017.14"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-47913-2_10"}],"event":{"name":"2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)","start":{"date-parts":[[2021,12,6]]},"location":"Hainan, China","end":{"date-parts":[[2021,12,10]]}},"container-title":["2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9741747\/9741863\/09741947.pdf?arnumber=9741947","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,17]],"date-time":"2024-01-17T19:00:07Z","timestamp":1705518007000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9741947\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,12]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/qrs-c55045.2021.00043","relation":{},"subject":[],"published":{"date-parts":[[2021,12]]}}}