{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T04:40:17Z","timestamp":1729658417371,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/indin.2009.5195813","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T15:32:36Z","timestamp":1250004756000},"page":"256-261","source":"Crossref","is-referenced-by-count":4,"title":["Smart house monitoring and actuating system development using automatic code generation"],"prefix":"10.1109","author":[{"given":"Gustavo","family":"Patricio","sequence":"first","affiliation":[]},{"given":"Luis","family":"Gomes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"R&D Project POSC\/EIA\/61364\/2004 Com O Apoio FCT - Fundac??o Para A Cie?ncia e A Tecnologia","article-title":"fordesign - formal methods for embedded systems co-design","year":"2007","key":"13"},{"key":"14","first-page":"1","article-title":"power aware simulation framework for wireless sensor networks and nodes","author":"glaser","year":"2008","journal-title":"EURASIP Journal on Embedded Systems"},{"key":"11","article-title":"the petri net markup language","author":"ju?ngel","year":"2000","journal-title":"Workshop on Algorithms and Tools for Petri Nets"},{"key":"12","article-title":"the petri net markup language","author":"weber","year":"2002","journal-title":"LNCS Petri Net Technology for Communication-Based Systems"},{"key":"3","article-title":"design issues for networked embedded systems","author":"gupta","year":"2006","journal-title":"The Industrial Information Technology Handbook"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/0-8176-4404-0_31"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416941"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1109\/EFTA.2007.4416858"},{"journal-title":"ZigBee specification","year":"2006","key":"7"},{"key":"6","article-title":"sensor and actuator networks in smart automation systems","author":"dietrich","year":"2008","journal-title":"6th International Workshop on Frontiers of Information Technology - FIT 2008"},{"journal-title":"Wireless Medium Access Control (MAC) and Physical Layer (PHY) Specifications for Low-Rate Wireless Personal Area Networks (WPANs)","year":"2006","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1201\/9781439807620.ch3"},{"key":"9","doi-asserted-by":"crossref","DOI":"10.1109\/INDIN.2007.4384809","article-title":"the input-output place-transition petri net class and associated tools","volume":"1","author":"gomes","year":"2007","journal-title":"2007 5th IEEE International Conference on Industrial Informatics INDIN"},{"year":"2009","key":"8"}],"event":{"name":"2009 7th IEEE International Conference on Industrial Informatics (INDIN)","start":{"date-parts":[[2009,6,23]]},"location":"Cardiff, Wales, UK","end":{"date-parts":[[2009,6,26]]}},"container-title":["2009 7th IEEE International Conference on Industrial Informatics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5175248\/5191764\/05195813.pdf?arnumber=5195813","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T18:44:12Z","timestamp":1497811452000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5195813\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/indin.2009.5195813","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}