{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,29]],"date-time":"2025-09-29T08:08:56Z","timestamp":1759133336992},"reference-count":17,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"1","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Automat. Sci. Eng."],"published-print":{"date-parts":[[2013,1]]},"DOI":"10.1109\/tase.2012.2203303","type":"journal-article","created":{"date-parts":[[2013,1,2]],"date-time":"2013-01-02T23:11:08Z","timestamp":1357168268000},"page":"137-144","source":"Crossref","is-referenced-by-count":5,"title":["Correct-by-Construction and Optimal Synthesis of Beacon-Enabled ZigBee Network"],"prefix":"10.1109","volume":"10","author":[{"given":"Songyan","family":"Xu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ratnesh","family":"Kumar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Pinto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/s11241-008-9063-4"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1289927.1289936"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/ACC.2008.4586610"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2009.5234116"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4757-6268-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/TAC.2004.831102"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/CISIS.2010.83"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/SUTC.2008.51"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSAC.2006.881606"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/MOBHOC.2006.278604"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1007\/s11277-008-9581-3"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/ICC.2008.556"},{"key":"ref8","article-title":"Optimal design of wireless mesh networks","author":"gomes","year":"2008","journal-title":"9mes Journes DDoctorales En Informatiqueet Rseaux (JDIR'08)"},{"key":"ref7","first-page":"702","article-title":"Optimal routing, link scheduling and power control in multi-hop wireless networks","author":"cruz","year":"2003","journal-title":"Proc IEEE Int Conf Comput Commun (INFOCOM 2003)"},{"key":"ref2","year":"1999","journal-title":"Digital Mobile Radio Towards Future Generation Systems"},{"key":"ref1","year":"0"},{"key":"ref9","author":"jeong","year":"2003","journal-title":"Forward Error Correction in Sensor Networks"}],"container-title":["IEEE Transactions on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8856\/6387323\/06232478.pdf?arnumber=6232478","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,1,23]],"date-time":"2018-01-23T19:17:36Z","timestamp":1516735056000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6232478\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,1]]},"references-count":17,"journal-issue":{"issue":"1"},"URL":"https:\/\/doi.org\/10.1109\/tase.2012.2203303","relation":{},"ISSN":["1545-5955","1558-3783"],"issn-type":[{"value":"1545-5955","type":"print"},{"value":"1558-3783","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,1]]}}}