{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T14:06:03Z","timestamp":1761487563247},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/etfa.2005.1612511","type":"proceedings-article","created":{"date-parts":[[2006,4,7]],"date-time":"2006-04-07T00:21:22Z","timestamp":1144369282000},"page":"129-134","source":"Crossref","is-referenced-by-count":5,"title":["Reuse of Components in Formal Modeling and Verification of Distributed Control Systems"],"prefix":"10.1109","volume":"1","author":[{"given":"V.","family":"Vyatkin","sequence":"first","affiliation":[]},{"given":"H.","family":"Hanisch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","article-title":"Open Object-Oriented Validation Framework For Modular Industrial Automation Systems","author":"vyatkin","year":"2004","journal-title":"INCOM'2004 Proceedings"},{"key":"18","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"journal-title":"Symbolische Erreichbarskeitanalyse und automatische Implementierung struktuirter zeitbewerter Steuerungsmodelle","year":"2002","author":"thieme","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/INDIN.2003.1300273"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248718"},{"key":"14","article-title":"A Timed Automata Model of IEC 61499 Basic Function Blocks Semantic","author":"stanica","year":"2003","journal-title":"ECRTS'03 Euromicro European Conference on Real-Time Systems"},{"key":"11","first-page":"61499","author":"lewis","year":"2001","journal-title":"Modeling Distributed Control Systems using IEC"},{"year":"0","key":"12"},{"key":"3","article-title":"Modeling and verification of a modular lever crossing controller design","author":"hanisch","year":"2000","journal-title":"Automatisierungstechnik"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.2003.1248708"},{"year":"0","key":"1"},{"year":"0","key":"10"},{"journal-title":"Achieving Reconfigurability of Automation Systems by Using the New International Standard IEC 61499 A Developer's View","year":"2004","author":"hanisch","key":"7"},{"key":"6","doi-asserted-by":"crossref","first-page":"415","DOI":"10.3233\/FI-2000-41403","article-title":"A Signal Extension for Petri Nets and its Use in Controller Design","author":"hanisch","year":"2000","journal-title":"Fundamenta Informaticae"},{"key":"5","first-page":"103","article-title":"Modular Modelling of Closed-Loop Systems","author":"hanisch","year":"0","journal-title":"Colloquium on Petri Net Technologies for Modelling Communication Based Systems Berlin Germany October 21-22 1999 Proceedings"},{"year":"0","key":"4"},{"journal-title":"Programmable Controllers","year":"1993","key":"9"},{"year":"0","key":"8"}],"event":{"name":"2005 IEEE Conference on Emerging Technologies and Factory Automation","location":"Catania, Italy"},"container-title":["2005 IEEE Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/10734\/33857\/01612511.pdf?arnumber=1612511","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,13]],"date-time":"2020-04-13T16:12:45Z","timestamp":1586794365000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1612511\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2005.1612511","relation":{},"subject":[]}}