{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:38:32Z","timestamp":1725565112460},"reference-count":22,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010,9]]},"DOI":"10.1109\/etfa.2010.5641254","type":"proceedings-article","created":{"date-parts":[[2010,11,30]],"date-time":"2010-11-30T16:11:18Z","timestamp":1291133478000},"page":"1-8","source":"Crossref","is-referenced-by-count":3,"title":["Modelling the real-time behaviour of machine controls using UML statecharts"],"prefix":"10.1109","author":[{"given":"Stephan","family":"Seidel","sequence":"first","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Design Automation Division, Zeunerstr. 38, 01069 Dresden, Germany"}]},{"given":"Thomas","family":"Klotz","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Design Automation Division, Zeunerstr. 38, 01069 Dresden, Germany"}]},{"given":"Ulrich","family":"Donath","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Design Automation Division, Zeunerstr. 38, 01069 Dresden, Germany"}]},{"given":"Jurgen","family":"Haufe","sequence":"additional","affiliation":[{"name":"Fraunhofer Institute for Integrated Circuits, Design Automation Division, Zeunerstr. 38, 01069 Dresden, Germany"}]}],"member":"263","reference":[{"journal-title":"SIMATIC S7-GRAPH V5 3 for S7-300\/400 Programming Sequential Control Systems","year":"2004","key":"19"},{"key":"22","doi-asserted-by":"crossref","first-page":"128","DOI":"10.1007\/3-540-58468-4_163","article-title":"A comparison of statecharts variants","author":"von der beeck","year":"1994","journal-title":"Lecture Notes in Computer Science"},{"journal-title":"Unified Modeling Language Specification","year":"2007","key":"17"},{"journal-title":"Software for SIMATIC Controllers","year":"0","key":"18"},{"journal-title":"Model-Based Design for Embedded Systems","year":"2010","author":"nicolescu","key":"15"},{"journal-title":"NuSMV Web Page","year":"0","key":"16"},{"journal-title":"Simulink Stateflow Web Page","year":"0","key":"13"},{"journal-title":"Modelica Web Page","year":"0","key":"14"},{"journal-title":"Simulink PLC Coder Web Page","year":"0","key":"11"},{"journal-title":"Simulink Real-time Workshop Web Page","year":"0","key":"12"},{"journal-title":"SIMATIC S7-PLCSIM V5 4","year":"2007","key":"21"},{"key":"3","first-page":"269","article-title":"A new Approach for Modeling and Verification of Discrete Control Components within a Modelica Environment","author":"donath","year":"2008","journal-title":"Proceedings of the 6th International Modelica Conference"},{"journal-title":"SIMATIC S7-HiGraph V5 3 for S7-300\/400 Programming State Diagrams","year":"2004","key":"20"},{"journal-title":"Artisan Web Page","year":"0","key":"2"},{"journal-title":"CoDeSys V3 Web Page","year":"0","key":"1"},{"journal-title":"Mathworks Simulink Web Page","year":"0","key":"10"},{"year":"0","key":"7"},{"journal-title":"IEC Standard 61131-3 Programmable controllers - Part 3","year":"1993","key":"6"},{"key":"5","first-page":"367","article-title":"Simulation-supported prototyping and optimisation of machine controls","author":"haufe","year":"2008","journal-title":"Advances in Simulation for Production and Logistics Applications"},{"journal-title":"Modeling Reactive Systems with Statecharts","year":"1998","author":"harel","key":"4"},{"journal-title":"Rapid Control Prototyping by Transformation of Hierarchical State Machine Control Models into IEC 61131 PLC Code","year":"2009","author":"lindner","key":"9"},{"key":"8","article-title":"Formal verification of UML-modeled machine controls","author":"klotz","year":"0","journal-title":"Proceedings of the 14th IEEE International Conference on Emerging Technologies and Factory Automation 2009"}],"event":{"name":"2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)","start":{"date-parts":[[2010,9,13]]},"location":"Bilbao, Spain","end":{"date-parts":[[2010,9,16]]}},"container-title":["2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5623495\/5640954\/05641254.pdf?arnumber=5641254","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T05:23:39Z","timestamp":1623129819000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/5641254\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/etfa.2010.5641254","relation":{},"subject":[],"published":{"date-parts":[[2010,9]]}}}