{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,3]],"date-time":"2024-09-03T17:13:40Z","timestamp":1725383620055},"reference-count":9,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042413","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T16:57:26Z","timestamp":1318525046000},"page":"12-18","source":"Crossref","is-referenced-by-count":2,"title":["Designing operational control architectures of critical systems by reachability analysis"],"prefix":"10.1109","author":[{"given":"Thibault","family":"Lemattre","sequence":"first","affiliation":[]},{"given":"Bruno","family":"Denis","sequence":"additional","affiliation":[]},{"given":"Jean-Marc","family":"Faure","sequence":"additional","affiliation":[]},{"given":"Jean-Francois","family":"Petin","sequence":"additional","affiliation":[]},{"given":"Patrick","family":"Salaun","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref4","article-title":"Temporal performance evaluation of control architecture in automation systems","author":"meunier","year":"2007","journal-title":"6th EUROSIM Congress on Modelling and Simulation"},{"key":"ref3","article-title":"Evaluation of Response Time in Ethernet-based Automation Systems","author":"marsal","year":"2006","journal-title":"Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation"},{"key":"ref6","first-page":"1365","article-title":"Finding the bounds of response time of networked automation systems by iterative proofs","author":"ruel","year":"2009","journal-title":"Proceedings of the 13th IFAC Symposium on Information Control Problems in Manufacturing (INCOM 2009)"},{"key":"ref5","first-page":"157","article-title":"An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN","author":"zaitsev","year":"2004","journal-title":"Proceedings of 5th Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-04558-9"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/COASE.2008.4626512"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1016\/S1570-7946(10)28201-9"},{"key":"ref9","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45739-9_1","article-title":"UPPAAL implementation secrets","author":"behrmann","year":"2002","journal-title":"Proc 7th Int Symp Formal Techniques in Real-Time and Fault Tolerant Systems"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2005.363"}],"event":{"name":"2011 IEEE International Conference on Automation Science and Engineering (CASE 2011)","start":{"date-parts":[[2011,8,24]]},"location":"Trieste, Italy","end":{"date-parts":[[2011,8,27]]}},"container-title":["2011 IEEE International Conference on Automation Science and Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6033676\/6042395\/06042413.pdf?arnumber=6042413","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,20]],"date-time":"2017-06-20T03:55:50Z","timestamp":1497930950000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042413\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":9,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042413","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}