{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,18]],"date-time":"2025-10-18T23:06:46Z","timestamp":1760828806484},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1109\/cca.2003.1223152","type":"proceedings-article","created":{"date-parts":[[2004,1,24]],"date-time":"2004-01-24T04:33:03Z","timestamp":1074918783000},"page":"1029-1034","source":"Crossref","is-referenced-by-count":14,"title":["Design and verification of industrial logic controllers with UML and statecharts"],"prefix":"10.1109","volume":"2","author":[{"given":"M.","family":"Bonfe","sequence":"first","affiliation":[]},{"given":"C.","family":"Fantuzzi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"journal-title":"Petri Nets and Grafcet Tools for Modeling Discrete Event Systems","year":"1992","author":"david","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-3190-6"},{"key":"ref12","first-page":"111","article-title":"Automated temporal reasoning about reactive systems","author":"emerson","year":"1996","journal-title":"Logics for Concurrency Structures Versus Automata"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1145\/235321.235322"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1145\/302405.302672"},{"key":"ref4","first-page":"775","article-title":"PLC software modularity and co-operative development","author":"bonfani","year":"2001","journal-title":"Proc of AIM2001 vol 2 IEEE\/ASME"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"journal-title":"Real-Time Object-Oriented Modeling","year":"1994","author":"selic","key":"ref6"},{"key":"ref5","first-page":"475","article-title":"Modeling and reuse of object-oriented machine software","author":"storr","year":"1997","journal-title":"Proc of European Conference in Integration in Manufacturing"},{"key":"ref8","doi-asserted-by":"crossref","first-page":"3235","DOI":"10.23919\/ECC.2001.7076431","article-title":"PLC object-oriented programming using IEC 61131-3 norm languages: an application to manufacture machinery","author":"bonfe","year":"2001","journal-title":"Proc 2001 European Control Conf"},{"journal-title":"Programmable controllers - Part 3 Programming languages","year":"1993","key":"ref7"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"year":"2001","key":"ref9","article-title":"UML, v. 1.4, OMG specification"}],"event":{"name":"Conference on Control Applications","acronym":"CCA-03","location":"Istanbul, Turkey"},"container-title":["Proceedings of 2003 IEEE Conference on Control Applications, 2003. CCA 2003."],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/8665\/27464\/01223152.pdf?arnumber=1223152","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,3,29]],"date-time":"2020-03-29T07:55:05Z","timestamp":1585468505000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1223152\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/cca.2003.1223152","relation":{},"subject":[]}}