{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T05:40:02Z","timestamp":1725601202468},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,8]]},"DOI":"10.1109\/coase.2009.5234106","type":"proceedings-article","created":{"date-parts":[[2009,9,11]],"date-time":"2009-09-11T14:10:59Z","timestamp":1252678259000},"page":"409-414","source":"Crossref","is-referenced-by-count":15,"title":["Scalable scheduling algorithms for wireless networked control systems"],"prefix":"10.1109","author":[{"given":"Alessandro","family":"D'Innocenzo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gera","family":"Weiss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajeev","family":"Alur","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alf J.","family":"Isaksson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Karl H.","family":"Johansson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"George J.","family":"Pappas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","article-title":"ranking automata and games for prioritized requirements","author":"alur","year":"2008","journal-title":"CAV"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1023\/A:1011276507260"},{"journal-title":"The Temporal Logic of Reactive and Concurrent Systems Specification","year":"1991","author":"pnueli","key":"18"},{"key":"15","article-title":"nusmv version 2: an opensource tool for symbolic model checking","author":"cimatti","year":"2002","journal-title":"CAV"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1145\/136035.136043"},{"journal-title":"Jflap-an Interactive Formal Languages and Automata Package","year":"2006","author":"rodger","key":"13"},{"journal-title":"The SPIN Model Checker Primer and Reference Manual","year":"2003","author":"holzmann","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71493-4_46"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-78800-3_26"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/TC.1972.5008918"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.13"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2008.15"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/RTAS.2009.40"},{"journal-title":"Scheduling for Wireless Control in a WirelessHART Network","year":"2009","author":"ercoli","key":"10"},{"journal-title":"HART Communication Foundation HCF SPEC-075 Revision 1 0","article-title":"tdma data link layer","year":"2007","key":"7"},{"journal-title":"Introduction to Automata Theory Languages and Computation","year":"1979","author":"hopcroft","key":"6"},{"key":"5","article-title":"the abstract task graph: a methodology for architecture-independent programming of networked sensor systems","author":"bakshi","year":"2005","journal-title":"EESR"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/IPPS.1998.669967"},{"journal-title":"Simulation of Process Control with WirelessHART Networks Subject to Packet Losses","year":"2008","author":"de biasi","key":"9"},{"journal-title":"Flotation Modelling at the Garpenberg Concentrator Using Modelica\/Dymola","year":"2007","author":"lindvall","key":"8"}],"event":{"name":"2009 IEEE International Conference on Automation Science and Engineering (CASE 2009)","start":{"date-parts":[[2009,8,22]]},"location":"Bangalore, India","end":{"date-parts":[[2009,8,25]]}},"container-title":["2009 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5227795\/5234081\/05234106.pdf?arnumber=5234106","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,18]],"date-time":"2017-03-18T01:04:55Z","timestamp":1489799095000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5234106\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/coase.2009.5234106","relation":{},"subject":[],"published":{"date-parts":[[2009,8]]}}}