{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T03:31:48Z","timestamp":1729654308102,"version":"3.28.0"},"reference-count":30,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008,9]]},"DOI":"10.1109\/etfa.2008.4638489","type":"proceedings-article","created":{"date-parts":[[2008,10,7]],"date-time":"2008-10-07T14:08:47Z","timestamp":1223388527000},"page":"789-798","source":"Crossref","is-referenced-by-count":4,"title":["Automatic specification of feasible Control Tasks in Benchmark Production Systems"],"prefix":"10.1109","author":[{"given":"Mohamed","family":"Khalgui","sequence":"first","affiliation":[]},{"given":"Hans-Michael","family":"Hanisch","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"19","article-title":"hytech: the next generation","author":"henzinger","year":"1997","journal-title":"LNCS"},{"journal-title":"An approach to modeling and verification of component based systems","year":"2007","author":"goessler","key":"17"},{"key":"18","first-page":"103","article-title":"modular modelling of closed-loop systems","author":"hanisch","year":"1999","journal-title":"Colloquium on Petri Net Technologies for Modelling Communication Based Systems"},{"key":"15","article-title":"building reliable componentbased software systems","author":"crnkovic","year":"2002","journal-title":"Artech House"},{"key":"16","article-title":"the tool kronos","volume":"1066","author":"daws","year":"1996","journal-title":"LNCS"},{"key":"13","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2001.952119"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1016\/S1383-7621(03)00096-1"},{"key":"11","article-title":"model checking","author":"clarke","year":"2000","journal-title":"MIT Press"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/6.499951"},{"key":"21","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"20","doi-asserted-by":"publisher","DOI":"10.1109\/32.588521"},{"key":"22","article-title":"a contribution to the validation of complex real-time systems","author":"khalgui","year":"2004","journal-title":"Second International IEEE Conference on Electronics Computer Science and Telecommunication (SETIT 2004)"},{"key":"23","article-title":"level set methods for computation in hybrid systems","author":"mitchell","year":"2000","journal-title":"LNCS"},{"key":"24","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"25","doi-asserted-by":"publisher","DOI":"10.1109\/ETFA.1995.496811"},{"journal-title":"Signal\/net system analyzer","year":"2008","key":"26"},{"key":"27","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(83)90029-6"},{"key":"28","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1092"},{"key":"29","article-title":"modeling of iec 61499 function blocks a clue to their verification","author":"vyatkin","year":"2000","journal-title":"XI Workshop on Supervising and Diagnostics of Machining Systems Wroclaw"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1145\/288195.288305"},{"key":"2","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45351-2_7"},{"year":"0","key":"10"},{"key":"1","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-45449-7_2","article-title":"hierarchical modeling and analysis of embedded systems","author":"alur","year":"2001","journal-title":"First Workshop on Embedded Software"},{"key":"30","doi-asserted-by":"publisher","DOI":"10.1023\/A:1022295414523"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/HLDVT.2002.1224441"},{"key":"6","article-title":"approximate reachability analysis of piecewise-linear dynamical systems","author":"asarin","year":"2000","journal-title":"LNCS"},{"key":"5","article-title":"cegarbased formal hardware verification: a case study","author":"andraus","year":"2007","journal-title":"Technical Research Report CSE-TR-531-07 Electrical Engineering and Computer Sciences USA"},{"year":"0","key":"4"},{"key":"9","article-title":"verification of polyhedralinvariant hybrid automata using polygonal flow pipe approximations","author":"chutinan","year":"1999","journal-title":"LNCS"},{"key":"8","doi-asserted-by":"publisher","DOI":"10.1023\/B:DAEM.0000003959.60964.4d"}],"event":{"name":"Factory Automation (ETFA 2008)","start":{"date-parts":[[2008,9,15]]},"location":"Hamburg, Germany","end":{"date-parts":[[2008,9,18]]}},"container-title":["2008 IEEE International Conference on Emerging Technologies and Factory Automation"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/4631965\/4638343\/04638489.pdf?arnumber=4638489","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T08:22:01Z","timestamp":1497774121000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/4638489\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9]]},"references-count":30,"URL":"https:\/\/doi.org\/10.1109\/etfa.2008.4638489","relation":{},"subject":[],"published":{"date-parts":[[2008,9]]}}}