{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T15:17:33Z","timestamp":1759331853587,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,8]]},"DOI":"10.1109\/cpsna.2013.6614244","type":"proceedings-article","created":{"date-parts":[[2013,10,2]],"date-time":"2013-10-02T22:33:01Z","timestamp":1380753181000},"page":"38-43","source":"Crossref","is-referenced-by-count":7,"title":["A tool integration approach for architectural exploration of aircraft electric power systems"],"prefix":"10.1109","author":[{"given":"Hokeun","family":"Kim","sequence":"first","affiliation":[]},{"given":"Liangpeng","family":"Guo","sequence":"additional","affiliation":[]},{"given":"Edward A.","family":"Lee","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"17","first-page":"11","article-title":"Modal models in Ptolemy","volume":"47","author":"lee","year":"2010","journal-title":"Proc 3rd Int Workshop Equation-Based Object-Oriented Model Lang Tools"},{"key":"18","article-title":"Metro II execution semantics for mapping","author":"densmore","year":"2008","journal-title":"Tech Rep 2008-10 University of California"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/62.821660"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/S0167-6423(02)00096-5"},{"key":"13","first-page":"760","article-title":"A framework for fast hardwaresoftware co-simulation","author":"hoffman","year":"2001","journal-title":"Proceedings of the conference on Design Automation and Test in Europe"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1109\/ASPDAC.2009.4796537"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1145\/368434.368712"},{"key":"12","article-title":"MATLAB\/Simulink based hardware\/software co-simulation for designing using fpga configured soft processors","author":"ou","year":"2005","journal-title":"Parallel and Distributed Processing Symposium 2005 Proceedings 19th IEEE International"},{"key":"3","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/2435227.2435245","article-title":"Metro II: A design environment for cyber-physical systems","volume":"12","author":"davare","year":"2013","journal-title":"ACM Transactions on Embedded Computing Systems (TECS)"},{"key":"2","first-page":"259","article-title":"A programming model for timesynchronized distributed real-time systems","author":"zhao","year":"0","journal-title":"Real Time and Embedded Technology and Applications Symposium 2007 RTAS'07 13th IEEE IEEE 2007"},{"key":"1","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/978-3-540-73230-3_9","article-title":"Correctness by construction for highintegrity real-time systems: A metamodel-driven approach","author":"bordin","year":"2007","journal-title":"Reliable Software Technologies-ada Europe 2007"},{"key":"10","first-page":"439","article-title":"hardware\/software co-simulation","author":"rowson","year":"1994","journal-title":"31st Design Automation Conference"},{"journal-title":"System Design with SystemC","year":"2002","author":"gro?tker","key":"7"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1145\/1878961.1879020"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/54.970421"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805829"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2005.27"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2009.5090700"}],"event":{"name":"2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)","start":{"date-parts":[[2013,8,19]]},"location":"Taipei, Taiwan","end":{"date-parts":[[2013,8,20]]}},"container-title":["2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6597100\/6614232\/06614244.pdf?arnumber=6614244","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T23:02:26Z","timestamp":1498086146000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6614244\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,8]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/cpsna.2013.6614244","relation":{},"subject":[],"published":{"date-parts":[[2013,8]]}}}