{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T22:01:37Z","timestamp":1730239297794,"version":"3.28.0"},"reference-count":34,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017,6]]},"DOI":"10.1109\/ice.2017.8279966","type":"proceedings-article","created":{"date-parts":[[2018,2,7]],"date-time":"2018-02-07T16:42:10Z","timestamp":1518021730000},"page":"799-806","source":"Crossref","is-referenced-by-count":1,"title":["Timed automata on modelling IEC 61131-3 function blocks"],"prefix":"10.1109","author":[{"given":"Joel","family":"Galvao","sequence":"first","affiliation":[]},{"given":"Camelia","family":"Avram","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/ICL.2013.6644585"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.3991\/ijet.v6iS1.1615"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28816-6_7"},{"key":"ref30","first-page":"407","article-title":"A generic approach to build plant models for des verification purposes","author":"machado","year":"2006","journal-title":"Proceedings - Eighth International Workshop on Discrete Event Systems WODES"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-09411-3_97"},{"key":"ref10","article-title":"PLC programming languages: A formal approach","volume":"98","author":"baresi","year":"1998","journal-title":"Proc AutoMoNet"},{"key":"ref11","first-page":"32","article-title":"Development of virtual simulator for visual validation of PLC program","author":"park","year":"2006","journal-title":"Computational Intelligence for Modelling Control and Automation 2006 and International Conference on Intelligent Agents Web Technologies and Internet Commerce International Conference on"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1162\/neco.1989.1.3.372"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.7148\/2012-0306-0312"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/5.21071"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.3182\/20140824-6-ZA-1003.01279"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-48683-6_44"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-18088-5_22"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(83)80051-5"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/721624"},{"key":"ref28","first-page":"603","author":"kunz","year":"2011","journal-title":"Modeling and simulating the controller behavior of an Automated People Mover using IEC 61850 communication requirements IEEE International Conference on Industrial Informatics (INDIN)"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022901312673"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.27"},{"key":"ref3","first-page":"1","article-title":"Using timed automata for modeling, simulating and verifying networked systems controller's specifications","author":"kunz","year":"2015","journal-title":"Neural Computing and Applications"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.5772\/56412"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.20906\/CPS\/COB-2015-1736"},{"key":"ref5","article-title":"Property patterns for the formal verification of automated production systems","volume":"17","author":"campos","year":"2008","journal-title":"IFAC Proceedings Volumes (IFAC-PapersOnline)"},{"volume":"3","journal-title":"Programmable Controls","year":"2003","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.3182\/20090603-3-RU-2001.0425"},{"key":"ref2","first-page":"135","article-title":"Design of a Mechatronic System for Application of Hardware-in-the-loop Simulation Technique","author":"chioran","year":"2011","journal-title":"Romanian Review Precision Mechanics Optics and Mechatronics"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/s00170-013-5209-1"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S1474-6670(17)34035-1"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.27"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1016\/j.compind.2013.07.003"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-02658-4_45"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0032042"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.05.002"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050010"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1993.1024"}],"event":{"name":"2017 International Conference on Engineering, Technology and Innovation (ICE\/ITMC)","start":{"date-parts":[[2017,6,27]]},"location":"Funchal","end":{"date-parts":[[2017,6,29]]}},"container-title":["2017 International Conference on Engineering, Technology and Innovation (ICE\/ITMC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8269762\/8279853\/08279966.pdf?arnumber=8279966","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,3,5]],"date-time":"2018-03-05T17:13:02Z","timestamp":1520269982000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/8279966\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6]]},"references-count":34,"URL":"https:\/\/doi.org\/10.1109\/ice.2017.8279966","relation":{},"subject":[],"published":{"date-parts":[[2017,6]]}}}