{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,29]],"date-time":"2024-10-29T11:42:07Z","timestamp":1730202127130,"version":"3.28.0"},"reference-count":20,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,8]]},"DOI":"10.1109\/case.2011.6042512","type":"proceedings-article","created":{"date-parts":[[2011,10,13]],"date-time":"2011-10-13T16:57:26Z","timestamp":1318525046000},"page":"163-168","source":"Crossref","is-referenced-by-count":2,"title":["Diagnosis of critical embedded systems: application to the control card of a railway vehicle braking systems"],"prefix":"10.1109","author":[{"given":"R.","family":"Saddem","sequence":"first","affiliation":[]},{"given":"A.","family":"Toguyeni","sequence":"additional","affiliation":[]},{"given":"M.","family":"Tagina","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/87.486338"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/WODES.2008.4605985"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1207\/s15516709cog0602_1"},{"key":"ref13","first-page":"709","article-title":"Time and reasoning for online diagnosis of failures in flexible manufacturing systems","volume":"6","author":"toguy\u00e9ni","year":"0","journal-title":"Proceedings of the 15th IMACS World Congress on Scientific Computation Modeling and Applied Mathematics"},{"key":"ref14","first-page":"166","article-title":"Situation Recognition: Representation and Algorithms","author":"dousson","year":"0","journal-title":"Proceedings of IJCAI-93"},{"article-title":"Suivi d'evolution et reconnaissance de chroniques","year":"1994","author":"dousson","key":"ref15"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/0004-3702(87)90063-4"},{"key":"ref17","first-page":"1","article-title":"A Determinizable Class of Timed Automata","volume":"818","author":"alur","year":"0","journal-title":"Proceedings of the 6th International Conference on Computer Aided Verijication(CAV'94)"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipl.2006.04.015"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/MED.2010.5547834"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(94)90010-8"},{"article-title":"Situation Recognition: Representation and Algorithms","year":"1993","author":"dousson","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2008.05.025"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/CDC.1988.194492"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/9.57018"},{"key":"ref7","first-page":"3054","article-title":"Analysis of temporal performance of supervised discrete event systems","volume":"30","author":"feng","year":"1994","journal-title":"Automatica (Journal of IFAC)"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0033534"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1243\/0954409042389418"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/BF02134011"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/CCCA.2011.6031509"}],"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\/06042512.pdf?arnumber=6042512","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,3,20]],"date-time":"2017-03-20T22:32:55Z","timestamp":1490049175000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6042512\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,8]]},"references-count":20,"URL":"https:\/\/doi.org\/10.1109\/case.2011.6042512","relation":{},"subject":[],"published":{"date-parts":[[2011,8]]}}}