{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:15:46Z","timestamp":1750306546866,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":43,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,6,7]],"date-time":"2015-06-07T00:00:00Z","timestamp":1433635200000},"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":[[2015,6,7]]},"DOI":"10.1145\/2744769.2747936","type":"proceedings-article","created":{"date-parts":[[2015,6,2]],"date-time":"2015-06-02T05:35:02Z","timestamp":1433223302000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Models, abstractions, and architectures"],"prefix":"10.1145","author":[{"given":"Bharathan","family":"Balaji","sequence":"first","affiliation":[{"name":"University of California, San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mohammad Abdullah","family":"Al Faruque","sequence":"additional","affiliation":[{"name":"University of California, Irvine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nikil","family":"Dutt","sequence":"additional","affiliation":[{"name":"University of California, Irvine"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajesh","family":"Gupta","sequence":"additional","affiliation":[{"name":"University of California, San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuvraj","family":"Agarwal","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2015,6,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"gbXML Schema. http:\/\/www.gbxml.org\/.  gbXML Schema. http:\/\/www.gbxml.org\/."},{"key":"e_1_3_2_1_2_1","unstructured":"Johnson Controls Metasys. http:\/\/www.johnsoncontrols.com\/metasys.  Johnson Controls Metasys. http:\/\/www.johnsoncontrols.com\/metasys."},{"key":"e_1_3_2_1_3_1","unstructured":"Project Haystack. http:\/\/project-haystack.org\/.  Project Haystack. http:\/\/project-haystack.org\/."},{"key":"e_1_3_2_1_4_1","unstructured":"SkySpark by SkyFoundry. http:\/\/www.skyfoundry.com\/skyspark\/.  SkySpark by SkyFoundry. http:\/\/www.skyfoundry.com\/skyspark\/."},{"key":"e_1_3_2_1_5_1","unstructured":"Tridium Niagara AX. http:\/\/www.niagaraax.com\/.  Tridium Niagara AX. http:\/\/www.niagaraax.com\/."},{"key":"e_1_3_2_1_6_1","volume-title":"www.epa.gov","author":"United States Environmental Protection Agency \"Sources of Greenhouse Gas Emissions\".","year":"2014","unstructured":"United States Environmental Protection Agency \"Sources of Greenhouse Gas Emissions\". www.epa.gov ., 2014 . United States Environmental Protection Agency \"Sources of Greenhouse Gas Emissions\". www.epa.gov., 2014."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422531.2422545"},{"key":"e_1_3_2_1_8_1","first-page":"97","volume-title":"Faruque and F. Ahourai. A Model-Based Design of Cyber-Physical Energy Systems. 19th Asia and South Pacific Design Automation Conference (ASP-DAC)","author":"Al M. A.","year":"2014","unstructured":"M. A. Al Faruque and F. Ahourai. A Model-Based Design of Cyber-Physical Energy Systems. 19th Asia and South Pacific Design Automation Conference (ASP-DAC) , pages 97 -- 104 , 2014 . M. A. Al Faruque and F. Ahourai. A Model-Based Design of Cyber-Physical Energy Systems. 19th Asia and South Pacific Design Automation Conference (ASP-DAC), pages 97--104, 2014."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2422531.2422547"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2528282.2528304"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2517351.2517370"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCW.2010.5503916"},{"key":"e_1_3_2_1_13_1","volume-title":"System design: new product development for mechatronics","author":"Boucher M.","year":"2008","unstructured":"M. Boucher and D. Houlihan . System design: new product development for mechatronics . Aberdeen Group , Boston , 2008 . M. Boucher and D. Houlihan. System design: new product development for mechatronics. Aberdeen Group, Boston, 2008."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0926-5805(97)00029-0"},{"key":"e_1_3_2_1_15_1","first-page":"1","volume-title":"Multi-disciplinary integrated design automation tool for automotive cyber-physical systems. Design Automation and Test in Europe (DATE'14)","author":"Canedo A.","year":"2014","unstructured":"A. Canedo , M. A. A. Faruque , and J. Richter . Multi-disciplinary integrated design automation tool for automotive cyber-physical systems. Design Automation and Test in Europe (DATE'14) , pages 1 -- 2 , 2014 . A. Canedo, M. A. A. Faruque, and J. Richter. Multi-disciplinary integrated design automation tool for automotive cyber-physical systems. Design Automation and Test in Europe (DATE'14), pages 1--2, 2014."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2502524.2502539"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/2691365.2691373"},{"key":"e_1_3_2_1_18_1","first-page":"424","volume-title":"Embedded Systems and Software Challenges in Electric Vehicles. DATE'12 Proceedings of the Conference on Design, Automation & Test in Europe","author":"Chakraborty S.","year":"2012","unstructured":"S. Chakraborty , M. Lukasiewycz , C. Buckl , S. Fahmy , P. Leteinturier , and H. Adlkofer . Embedded Systems and Software Challenges in Electric Vehicles. DATE'12 Proceedings of the Conference on Design, Automation & Test in Europe , pages 424 -- 429 , 2012 . S. Chakraborty, M. Lukasiewycz, C. Buckl, S. Fahmy, P. Leteinturier, and H. Adlkofer. Embedded Systems and Software Challenges in Electric Vehicles. DATE'12 Proceedings of the Conference on Design, Automation & Test in Europe, pages 424--429, 2012."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.2172\/891598"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0378-7788(00)00114-6"},{"key":"e_1_3_2_1_21_1","volume-title":"LBL-18046","author":"Curtis R.","year":"1984","unstructured":"R. Curtis , B. Birdsall , W. Buhl , E. Erdem , J. Eto , J. Hirsch , K. Olson , and F. Winkelmann . The DOE-2 building energy use analysis program. Lawrence Berkeley Laboratory , LBL-18046 , 1984 . R. Curtis, B. Birdsall, W. Buhl, E. Erdem, J. Eto, J. Hirsch, K. Olson, and F. Winkelmann. The DOE-2 building energy use analysis program. Lawrence Berkeley Laboratory, LBL-18046, 1984."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.apenergy.2012.02.044"},{"key":"e_1_3_2_1_23_1","volume-title":"The effectiveness of feedback on energy consumption. A Review for DEFRA of the Literature on Metering, Billing and direct Displays, 486:2006","author":"Darby S.","year":"2006","unstructured":"S. Darby The effectiveness of feedback on energy consumption. A Review for DEFRA of the Literature on Metering, Billing and direct Displays, 486:2006 , 2006 . S. Darby et al. The effectiveness of feedback on energy consumption. A Review for DEFRA of the Literature on Metering, Billing and direct Displays, 486:2006, 2006."},{"key":"e_1_3_2_1_24_1","first-page":"443","volume-title":"NSDI","volume":"13","author":"Dawson-Haggerty S.","year":"2013","unstructured":"S. Dawson-Haggerty , A. Krioukov , J. Taneja , S. Karandikar , G. Fierro , N. Kitaev , and D. E. Culler . Boss: Building operating system services . In NSDI , volume 13 , pages 443 -- 458 , 2013 . S. Dawson-Haggerty, A. Krioukov, J. Taneja, S. Karandikar, G. Fierro, N. Kitaev, and D. E. Culler. Boss: Building operating system services. In NSDI, volume 13, pages 443--458, 2013."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2160929"},{"key":"e_1_3_2_1_26_1","volume-title":"54th Joint JANNAF Propulsion Conference","author":"Dumbacher D.","year":"2007","unstructured":"D. Dumbacher and S. R. Davis . Building operations efficiencies into NASA\u0160s Ares I crew launch vehicle design . In 54th Joint JANNAF Propulsion Conference , 2007 . D. Dumbacher and S. R. Davis. Building operations efficiencies into NASA\u0160s Ares I crew launch vehicle design. In 54th Joint JANNAF Propulsion Conference, 2007."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0890060408000103"},{"key":"e_1_3_2_1_28_1","volume-title":"Cost analysis of inadequate interoperability in the us capital facilities industry","author":"N.","year":"2004","unstructured":"N. GCR. Cost analysis of inadequate interoperability in the us capital facilities industry . National Institute of Standards and Technology (NIST) , 2004 . N. GCR. Cost analysis of inadequate interoperability in the us capital facilities industry. National Institute of Standards and Technology (NIST), 2004."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1108\/14725960810847459"},{"key":"e_1_3_2_1_30_1","volume-title":"A novel human machine interface for advanced building controls and diagnostics","author":"Khire R.","year":"2014","unstructured":"R. Khire , F. Leonardi , P. Quimby , and S. Sarkar . A novel human machine interface for advanced building controls and diagnostics . 2014 . R. Khire, F. Leonardi, P. Quimby, and S. Sarkar. A novel human machine interface for advanced building controls and diagnostics. 2014."},{"key":"e_1_3_2_1_31_1","volume-title":"A conflict resolution architecture for the comfort of occupants in intelligent office","author":"Lee H.","year":"2008","unstructured":"H. Lee , J. S. Choi , and R. Elmasri . A conflict resolution architecture for the comfort of occupants in intelligent office . 2008 . H. Lee, J. S. Choi, and R. Elmasri. A conflict resolution architecture for the comfort of occupants in intelligent office. 2008."},{"key":"e_1_3_2_1_32_1","volume-title":"Visualizing energy information in commercial buildings: A study of tools, expert users, and building occupants","author":"Lehrer D.","year":"2011","unstructured":"D. Lehrer and J. Vasudev . Visualizing energy information in commercial buildings: A study of tools, expert users, and building occupants . 2011 . D. Lehrer and J. Vasudev. Visualizing energy information in commercial buildings: A study of tools, expert users, and building occupants. 2011."},{"key":"e_1_3_2_1_33_1","volume-title":"Industry Foundation Classes IFC2x","author":"Liebich T.","year":"2006","unstructured":"T. Liebich , Y. Adachi , J. Forester , J. Hyvarinen , K. Karstila , and J. Wix . Industry Foundation Classes IFC2x , 2006 . T. Liebich, Y. Adachi, J. Forester, J. Hyvarinen, K. Karstila, and J. Wix. Industry Foundation Classes IFC2x, 2006."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1201\/9781420037821.ch35"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2463209.2488852"},{"key":"e_1_3_2_1_36_1","volume-title":"A stochastic approach to thermal comfort--occupant behavior and energy use in buildings. ASHRAE transactions, 110(2)","author":"Nicol J. F.","year":"2004","unstructured":"J. F. Nicol and M. A. Humphreys . A stochastic approach to thermal comfort--occupant behavior and energy use in buildings. ASHRAE transactions, 110(2) , 2004 . J. F. Nicol and M. A. Humphreys. A stochastic approach to thermal comfort--occupant behavior and energy use in buildings. ASHRAE transactions, 110(2), 2004."},{"key":"e_1_3_2_1_37_1","volume-title":"DTIC Document","author":"Northrop L.","year":"2006","unstructured":"L. Northrop , P. Feiler , R. P. Gabriel , J. Goodenough , R. Linger , T. Longstaff , R. Kazman , M. Klein , D. Schmidt , K. Sullivan , : The software challenge of the future. Technical report , DTIC Document , 2006 . L. Northrop, P. Feiler, R. P. Gabriel, J. Goodenough, R. Linger, T. Longstaff, R. Kazman, M. Klein, D. Schmidt, K. Sullivan, et al. Ultra-large-scale systems: The software challenge of the future. Technical report, DTIC Document, 2006."},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2005.10.003"},{"volume-title":"Apogee building automation","year":"2008","key":"e_1_3_2_1_39_1","unstructured":"Siemens. Apogee building automation . 2008 . Siemens. Apogee building automation. 2008."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/2744769.2744804"},{"key":"e_1_3_2_1_43_1","volume-title":"Functional model-based design methodology for automotive cyber-physical systems","author":"Wan J.","year":"2014","unstructured":"J. Wan , A. Canedo , and M. A. A. Faruque . Functional model-based design methodology for automotive cyber-physical systems . IEEE Systems Journal (ISJ) , 2014 . J. Wan, A. Canedo, and M. A. A. Faruque. Functional model-based design methodology for automotive cyber-physical systems. IEEE Systems Journal (ISJ), 2014."},{"key":"e_1_3_2_1_44_1","volume-title":"Building controls virtual test bed. Computer software","author":"Wetter M.","year":"2013","unstructured":"M. Wetter , P. Haves , and T. S. Nouidui . Building controls virtual test bed. Computer software available at https:\/\/gaia.lbl.gov\/bcvtb, 2013 . M. Wetter, P. Haves, and T. S. Nouidui. Building controls virtual test bed. Computer software available at https:\/\/gaia.lbl.gov\/bcvtb, 2013."},{"key":"e_1_3_2_1_45_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.rser.2008.03.006"}],"event":{"name":"DAC '15: The 52nd Annual Design Automation Conference 2015","sponsor":["SIGDA ACM Special Interest Group on Design Automation"],"location":"San Francisco California","acronym":"DAC '15"},"container-title":["Proceedings of the 52nd Annual Design Automation Conference"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747936","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2744769.2747936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:12:36Z","timestamp":1750227156000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2744769.2747936"}},"subtitle":["the missing links in cyber-physical systems"],"short-title":[],"issued":{"date-parts":[[2015,6,7]]},"references-count":43,"alternative-id":["10.1145\/2744769.2747936","10.1145\/2744769"],"URL":"https:\/\/doi.org\/10.1145\/2744769.2747936","relation":{},"subject":[],"published":{"date-parts":[[2015,6,7]]},"assertion":[{"value":"2015-06-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}