{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T09:03:22Z","timestamp":1725527002201},"reference-count":12,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,6]]},"DOI":"10.1109\/indin.2009.5195796","type":"proceedings-article","created":{"date-parts":[[2009,8,11]],"date-time":"2009-08-11T15:32:36Z","timestamp":1250004756000},"page":"161-166","source":"Crossref","is-referenced-by-count":1,"title":["Basic Statechart: A formalism to model industrial systems"],"prefix":"10.1109","author":[{"given":"Raimundo Santos","family":"Moura","sequence":"first","affiliation":[]},{"given":"Luiz Affonso","family":"Guedes","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"2","first-page":"3691","article-title":"uml-based approach for the reengineering of plc programs","author":"bani younis","year":"2006","journal-title":"32nd Annual Conference of the IEEE Industrial Electronics Society (IECON'06)"},{"journal-title":"The jakarta project commons SCXML","year":"2006","key":"10"},{"journal-title":"Programmable Controllers Part 3 Programming Languages","article-title":"international eletrotechnical commission","year":"1993","key":"1"},{"key":"7","first-page":"61","author":"boehm","year":"1988","journal-title":"A Spiral Model of Software Development and Enhancement"},{"key":"6","first-page":"1","article-title":"managing the development of large software systems","author":"royce","year":"1970","journal-title":"Proc of IEEE WESCON"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2006.1678428"},{"key":"4","article-title":"supervisory control applied to automata extended with variables - revised","author":"skoldstam","year":"2008","journal-title":"Goteborg Chalmers University of Technology Tech Rep"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1145\/1134285.1134288"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2007.4384765"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2002.1167714"}],"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\/05195796.pdf?arnumber=5195796","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,17]],"date-time":"2017-03-17T16:58:26Z","timestamp":1489769906000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5195796\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,6]]},"references-count":12,"URL":"https:\/\/doi.org\/10.1109\/indin.2009.5195796","relation":{},"subject":[],"published":{"date-parts":[[2009,6]]}}}