{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,29]],"date-time":"2026-03-29T16:30:48Z","timestamp":1774801848393,"version":"3.50.1"},"reference-count":12,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"4","license":[{"start":{"date-parts":[[2012,8,1]],"date-time":"2012-08-01T00:00:00Z","timestamp":1343779200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Des. Test. Comput."],"published-print":{"date-parts":[[2012,8]]},"DOI":"10.1109\/mdt.2012.2201130","type":"journal-article","created":{"date-parts":[[2012,5,24]],"date-time":"2012-05-24T19:11:31Z","timestamp":1337886691000},"page":"45-55","source":"Crossref","is-referenced-by-count":18,"title":["Development of Building Automation and Control Systems"],"prefix":"10.1109","volume":"29","author":[{"given":"Yang","family":"Yang","sequence":"first","affiliation":[]},{"given":"Qi","family":"Zhu","sequence":"additional","affiliation":[]},{"given":"Mehdi","family":"Maasoumy","sequence":"additional","affiliation":[]},{"given":"Alberto","family":"Sangiovanni-Vincentelli","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","year":"0"},{"key":"ref3","year":"0"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TC.2008.81"},{"key":"ref6","article-title":"Applying LTTA to guarantee flow of data requirements in distributed systems using controller area networks","author":"di natale","year":"2008","journal-title":"Proc Design Autom Test Eur Workshop Dependable Softw Syst"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RTSS.2010.26"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1201\/9781420067859-c10"},{"key":"ref12","doi-asserted-by":"crossref","DOI":"10.21236\/ADA551401","author":"yang","year":"2011","journal-title":"Efficient distribution of triggered synchronous block diagrams"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/MDT.2008.138"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1115\/DSCC2011-6078"},{"key":"ref2","year":"0"},{"key":"ref9","doi-asserted-by":"crossref","first-page":"526","DOI":"10.1007\/978-3-540-31954-2_34","article-title":"Interchange formats for hybrid systems: Review and proposal","author":"pinto","year":"2005","journal-title":"Proc 8th Int Workshop Hybrid Syst Computation and Contr"},{"key":"ref1","year":"0"}],"container-title":["IEEE Design & Test of Computers"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/54\/6327706\/06204325.pdf?arnumber=6204325","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,10]],"date-time":"2021-10-10T23:53:59Z","timestamp":1633910039000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6204325\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,8]]},"references-count":12,"journal-issue":{"issue":"4"},"URL":"https:\/\/doi.org\/10.1109\/mdt.2012.2201130","relation":{},"ISSN":["0740-7475"],"issn-type":[{"value":"0740-7475","type":"print"}],"subject":[],"published":{"date-parts":[[2012,8]]}}}