{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T16:49:09Z","timestamp":1730220549609,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012,9]]},"DOI":"10.1109\/etfa.2012.6489682","type":"proceedings-article","created":{"date-parts":[[2013,4,5]],"date-time":"2013-04-05T16:57:59Z","timestamp":1365181079000},"page":"1-9","source":"Crossref","is-referenced-by-count":3,"title":["Coupling timed plant and controller models with urgent transitions without introducing deadlocks"],"prefix":"10.1109","author":[{"given":"Matthieu","family":"Perin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Marc","family":"Faure","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"19","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.2005.1583409"},{"key":"17","first-page":"246","article-title":"A methodology to design and check a plant model","author":"rohe?e","year":"2006","journal-title":"Proc of the 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06)"},{"key":"18","first-page":"177","article-title":"Formal modeling of timed function blocks for the automatic verification of ladder diagram programs","author":"rossi","year":"2000","journal-title":"Proc of the 4th International Conference Automation of Mixed Processes (ADPM'00)"},{"key":"15","article-title":"Modelling of a discrete manufacturing system by parts of plant","author":"philippot","year":"2009","journal-title":"Proc of the 13th IFAC Symposium on Information Control Problem in Manufacturing Moscow"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2010.10.001"},{"key":"13","first-page":"970","article-title":"Building meaningful timed plant models for verification purposes","author":"perin","year":"2009","journal-title":"Proc of the 13th IFAC Symposium on Information Control Problems in Manufacturing INCOM'09"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2012.05.002"},{"key":"11","first-page":"37","article-title":"Logic controllers dependability verification using a plant model","author":"machado","year":"2006","journal-title":"Proc of the 3rd IFAC Workshop on Discrete-Event System Design (DESDes)"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/EMRTS.1999.777456"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"2","first-page":"517","article-title":"Verification of plc programs given as sequential function charts","volume":"3147","author":"bauer","year":"2004","journal-title":"LNCS"},{"key":"1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"10","article-title":"A generic approach to build plant models for des verification purposes","author":"machado","year":"2006","journal-title":"Proc 6th Int Workshop on Discrete Event Systems (WODES 02)"},{"journal-title":"IEC 61131 International Electrotechnical Committee Programmable Controllers - Programming Languages","year":"1999","key":"7"},{"journal-title":"IEC 60848 International Electrotechnical Committee Grafcet Specification Language for Sequential Function Charts","year":"2002","key":"6"},{"key":"5","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1997.616302"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2000.884356"},{"key":"9","article-title":"Formal verification of industrial controllers: With or without a plant model?","author":"machado","year":"2006","journal-title":"Proc of the 7th Portuguese Conference on Automatic Control CONTROLO'06 Lisboa Portugal"},{"key":"8","first-page":"181","article-title":"Slicing of timed automata with discrete data","volume":"72","author":"janowska","year":"2006","journal-title":"Fundamenta Informaticae"}],"event":{"name":"2012 IEEE 17th Conference on Emerging Technologies & Factory Automation (ETFA 2012)","start":{"date-parts":[[2012,9,17]]},"location":"Krakow, Poland","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\/06489682.pdf?arnumber=6489682","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T14:43:37Z","timestamp":1490193817000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6489682\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/etfa.2012.6489682","relation":{},"subject":[],"published":{"date-parts":[[2012,9]]}}}