{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:08Z","timestamp":1750220648440,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,11,6]],"date-time":"2020-11-06T00:00:00Z","timestamp":1604620800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,11,6]]},"DOI":"10.1145\/3443467.3443918","type":"proceedings-article","created":{"date-parts":[[2021,2,1]],"date-time":"2021-02-01T23:43:58Z","timestamp":1612223038000},"page":"1136-1140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["AADL and Modelica model combination and model conversion based on CPS"],"prefix":"10.1145","author":[{"given":"Yifeng","family":"Zhu","sequence":"first","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zining","family":"Cao","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Collaborative Innovation Center of Novel Software Technology and Industrialization, MIIT Key Laboratory of Pattern Analysis and Machine Intelligence, Nanjing University of Aeronautics and Astronautics and Science and Technology on Electro-optic Control Laboratory, Luoyang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fujun","family":"Wang","sequence":"additional","affiliation":[{"name":"College of Computer Science and Technology, Nanjing University of Aeronautics and Astronautics, Nanjing, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weiwei","family":"Lu","sequence":"additional","affiliation":[{"name":"Science and Technology on Electro-optic Control Laboratory, Luoyang, China"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Cyber-Physical Systems: A New Frontier,\" IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC","author":"Sha S.","year":"2008","unstructured":"L. Sha, S. Gopalakrishnan, X. Liu and Q. Wang, \"Cyber-Physical Systems: A New Frontier,\" IEEE International Conference on Sensor Networks, Ubiquitous, and Trustworthy Computing (SUTC 2008), Taichung, 1--9 (2008)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.21236\/ADA455842"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0967-0661(98)00047-1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59615-5_13"},{"key":"e_1_3_2_1_5_1","volume-title":"Model checking probabilistic timed automata with one or two clocks. arXiv preprint arXiv:0809.0060","author":"Jurdzinski M","year":"2008","unstructured":"Jurdzinski M, Laroussinie F, Sproston J. Model checking probabilistic timed automata with one or two clocks. arXiv preprint arXiv:0809.0060, 2008."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(90)90071-K"},{"key":"e_1_3_2_1_7_1","first-page":"1166","volume-title":"Automation & Test in Europe Conference & Exhibition","author":"Zhibin Yang","year":"2009","unstructured":"Zhibin Yang, Kai Hu, Dianfu Ma and Lei Pi, \"Towards a formal semantics for the AADL behavior annex,\" 2009 Design, Automation & Test in Europe Conference & Exhibition, Nice, pp. 1166--1171.(2009)"},{"key":"e_1_3_2_1_8_1","first-page":"3642","volume-title":"USA","author":"Lawford W. M.","unstructured":"M. Lawford, W. M. Wonham and J. S. Ostroff, \"State-event observers for labeled transition systems,\" Proceedings of 1994 33rd IEEE Conference on Decision and Control, Lake Buena Vista, FL, USA, pp. 3642--3648 vol.4(1994)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1369-8869(00)00009-4"}],"event":{"name":"EITCE 2020: 2020 4th International Conference on Electronic Information Technology and Computer Engineering","acronym":"EITCE 2020","location":"Xiamen China"},"container-title":["Proceedings of the 2020 4th International Conference on Electronic Information Technology and Computer Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3443467.3443918","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3443467.3443918","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:02:19Z","timestamp":1750197739000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3443467.3443918"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,11,6]]},"references-count":9,"alternative-id":["10.1145\/3443467.3443918","10.1145\/3443467"],"URL":"https:\/\/doi.org\/10.1145\/3443467.3443918","relation":{},"subject":[],"published":{"date-parts":[[2020,11,6]]},"assertion":[{"value":"2021-02-01","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}