{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,22]],"date-time":"2024-10-22T16:23:51Z","timestamp":1729614231316,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,9]]},"DOI":"10.1109\/etfa.2015.7301458","type":"proceedings-article","created":{"date-parts":[[2015,10,26]],"date-time":"2015-10-26T22:21:19Z","timestamp":1445898079000},"page":"1-8","source":"Crossref","is-referenced-by-count":2,"title":["Generation of safe plant operation sequences using reachability analysis"],"prefix":"10.1109","author":[{"given":"Thomas","family":"Cochard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Gouyon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Francois","family":"Petin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/0098-1354(88)87024-8"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(97)87616-8"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-68612-7"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1016\/j.compchemeng.2005.03.001"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1016\/0167-6423(87)90035-9"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/136586.136589"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1137\/0325013"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1007\/s11814-011-0227-x"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ijpe.2003.12.004"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.conengprac.2006.10.013"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-0578(96)00033-X"},{"journal-title":"International Electrotechnical Commission","article-title":"lec 61512-1: Batch control. part 1: Models and terminology","year":"1997","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/S0098-1354(98)00229-4"},{"key":"ref5","doi-asserted-by":"crossref","first-page":"1673","DOI":"10.1016\/S0098-1354(98)00228-2","article-title":"Automating operating procedure synthesis for batch processes: Part i. knowledge representation and planning framework","volume":"22","author":"viswanathan","year":"1998","journal-title":"Computers & Chemical Engineering"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/0098-1354(88)87025-X"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1002\/aic.690200217"},{"journal-title":"The Instrumentation Systems and Automation Society","article-title":"Ansi\/isa-88.01-1995: Batch control. part 1: Models and terminology","year":"1998","key":"ref2"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/0098-1354(87)85018-4"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1016\/j.cherd.2013.06.032"},{"key":"ref22","first-page":"1","article-title":"Classification of model transformation approacbes","volume":"45","author":"czarnecki","year":"2003","journal-title":"Proceedings of the 2nd OOPSLA Workshop on Generative Techniques in the Context of the Model Driven Architecture"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.3166\/jesa.45.45-60"},{"article-title":"Model checking","year":"1999","author":"clarke","key":"ref24"},{"journal-title":"Graphes et applications","year":"2007","author":"fournier","key":"ref23"},{"key":"ref25","first-page":"125","article-title":"Uppaal 4.0","author":"behrmann","year":"2006","journal-title":"Quantitative Evaluation of Systems 2006 QEST 2006 Third International Conference on"}],"event":{"name":"2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)","start":{"date-parts":[[2015,9,8]]},"location":"Luxembourg, Luxembourg","end":{"date-parts":[[2015,9,11]]}},"container-title":["2015 IEEE 20th Conference on Emerging Technologies & Factory Automation (ETFA)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7295717\/7301399\/07301458.pdf?arnumber=7301458","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,23]],"date-time":"2017-06-23T22:15:51Z","timestamp":1498256151000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/7301458\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/etfa.2015.7301458","relation":{},"subject":[],"published":{"date-parts":[[2015,9]]}}}