{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,20]],"date-time":"2026-02-20T07:49:36Z","timestamp":1771573776711,"version":"3.50.1"},"reference-count":31,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489679","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T20:57:59Z","timestamp":1365195479000},"page":"1-8","source":"Crossref","is-referenced-by-count":12,"title":["Closed-loop system modeling, validation, and verification"],"prefix":"10.1109","author":[{"given":"Sebastian","family":"Preuse","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Christian","family":"Lapp","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hans-Michael","family":"Hanisch","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","first-page":"569","article-title":"Stategraph-amodelica library for hierarchical state machines","author":"otter","year":"2005","journal-title":"4th Modelica Conference"},{"key":"17","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641238"},{"key":"18","author":"missal","year":"2012","journal-title":"Formal Synthesis of Safety Controller Code for Distributed Controllers Volume 8 of Hallenser Schriften Zur Automatisierungstechnik"},{"key":"15","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2010.5549415"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2006.885185"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1007\/s10626-006-0021-9"},{"key":"14","article-title":"Transformation of iec 61499 control systems to formal models","author":"ivanova-vasileva","year":"2007","journal-title":"International Conference Automatics and Informatics (CAI 2007)"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2006.275641"},{"key":"12","year":"1997","journal-title":"ISO\/IEC 14772 Information Technology - Computer Graphics and Image Processing - The Virtual Reality Modeling Language - Part 1 Functional Specification and UTF-8 Encoding"},{"key":"21","doi-asserted-by":"crossref","first-page":"108","DOI":"10.1504\/IJCAT.2011.045401","article-title":"Virtual start-up of plants using formal methods","volume":"42","author":"preu\ufffde","year":"2011","journal-title":"International Journal of Computer Applications in Technology (IJCAT)"},{"key":"20","first-page":"1133","article-title":"Automatic model generation of iec 61499 function block using net condition\/event systems","author":"pang","year":"2008","journal-title":"6th IEEE International Conference on Industrial Informatics (INDIN)"},{"key":"22","doi-asserted-by":"publisher","DOI":"10.1109\/IDT.2008.4802520"},{"key":"23","first-page":"632","article-title":"Specification of technical plant behavior with a safety-oriented technical language","author":"preu\ufffde","year":"2009","journal-title":"7th IEEE International Conference on Industrial Informatics (INDIN)"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/DCDS.2011.5970316"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/5.21072"},{"key":"26","article-title":"Designing dependable logic controllers using the supervisory control theory","author":"roussel","year":"2005","journal-title":"Proceedings of the 16th IFAC World Congress Page CDROM Paper n-04427 Praha Czech Republic"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034848"},{"key":"28","author":"stieler","year":"2012","journal-title":"Transformation von IEC 61131 Konformen Steuerungsprogrammen in Formale Steuerungsmodelle"},{"key":"29","first-page":"43","article-title":"Control synthesis for manufacturing systems using non-safe petri nets","volume":"11","author":"vasiliu","year":"2009","journal-title":"Journal of Control Engineering and Applied Informatics"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2003.1244549"},{"key":"2","first-page":"41","article-title":"A model-based approach for mixed hardware in the loop simulation of manufacturing systems","author":"ferrarini","year":"2010","journal-title":"10th IFAC Workshop on Intelligent Manufacturing Systems (IMS'10)"},{"key":"10","author":"hirsch","year":"2010","journal-title":"Systematic Design of Distributed Industrial Manufacturing Control Systems Volume 6 of Hallenser Schriften Zur Automatisierungstechnik"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1109\/87.748144"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1109\/SMARTGRID.2010.5622002"},{"key":"7","doi-asserted-by":"crossref","first-page":"2839","DOI":"10.1080\/00207540410001705194","article-title":"A pragmatic approach for modular control synthesis and implementation","volume":"2","author":"gouyon","year":"2004","journal-title":"International Journal of Production Research"},{"key":"6","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641220"},{"key":"5","author":"gerber","year":"2011","journal-title":"Implementation and Verification of Distributed Control Systems Volume 7 of Hallenser Schriften Zur Automatisierungstechnik"},{"key":"31","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2011.6034935"},{"key":"4","author":"gasevic","year":"2009","journal-title":"Model Driven Engineering and Ontology Development"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2010.5641364"},{"key":"8","first-page":"33","article-title":"Modeling and analysis of a polymer production plant by means of arc-timed petri nets","volume":"3","author":"hanisch","year":"1995","journal-title":"International Journal of Flexible Automation and Integrated Manufacturing"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","location":"Krakow, Poland","start":{"date-parts":[[2012,9,17]]},"end":{"date-parts":[[2012,9,21]]}},"container-title":["Proceedings of 2012 IEEE 17th International Conference on Emerging Technologies & Factory Automation (ETFA 2012)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6479732\/6489522\/06489679.pdf?arnumber=6489679","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,21]],"date-time":"2017-06-21T10:54:51Z","timestamp":1498042491000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6489679\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":31,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489679","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}