{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,23]],"date-time":"2024-10-23T02:42:38Z","timestamp":1729651358255,"version":"3.28.0"},"reference-count":19,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009,10]]},"DOI":"10.1109\/icsmc.2009.5346090","type":"proceedings-article","created":{"date-parts":[[2009,12,10]],"date-time":"2009-12-10T14:44:31Z","timestamp":1260456271000},"page":"4740-4745","source":"Crossref","is-referenced-by-count":0,"title":["ESA PetriNet: Petri net based tool for reliability analysis"],"prefix":"10.1109","author":[{"given":"R.","family":"Guillerm","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"H.","family":"Demmou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"N.","family":"Sadou","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"year":"0","key":"19"},{"key":"17","article-title":"Symbolic temporal constraint analysis, an approach for verifying hybrid systems","author":"riviere","year":"2005","journal-title":"16th IFAC World Congress"},{"year":"0","key":"18"},{"year":"0","key":"15"},{"key":"16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2006.384648"},{"key":"13","first-page":"572","article-title":"Object oriented approach for deriving feared scenarios in hybrid system","author":"sadou","year":"2005","journal-title":"2005 European Simulation and Modelling Conference"},{"journal-title":"The Unified Modelling Language User Guide","year":"1998","author":"booch","key":"14"},{"key":"11","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1999.796567"},{"key":"12","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1996.500665"},{"key":"2","article-title":"Dynamic Reliability: A new model","author":"dufour","year":"2002","journal-title":"13-ESREL2002 European Conference Lyon - France - 18 au"},{"key":"1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/11813040_1","article-title":"The embedded systems design challenge","volume":"4085","author":"henzinger","year":"2006","journal-title":"Lecture Notes in Computer Science"},{"key":"10","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(87)90045-4"},{"key":"7","first-page":"205","article-title":"A Survey on Monte Carlo Estimation of Small Failure Risks in Dynamic Reliability","volume":"52","author":"labeau","year":"1998","journal-title":"Int J Electron Commun"},{"key":"6","article-title":"Diagnostic expert systems from dynamic fault tree","author":"dugan","year":"2004","journal-title":"Proc 2004 Reliability and Maintainability Symp"},{"year":"0","key":"5"},{"key":"4","doi-asserted-by":"publisher","DOI":"10.1109\/24.983400"},{"key":"9","first-page":"987","article-title":"A method for deriving critical scenarios from mechatronic systems","volume":"36","author":"demmou","year":"2002","journal-title":"Journal Europeen des Systemes Automatises"},{"year":"0","key":"8"}],"event":{"name":"2009 IEEE International Conference on Systems, Man and Cybernetics - SMC","start":{"date-parts":[[2009,10,11]]},"location":"San Antonio, TX, USA","end":{"date-parts":[[2009,10,14]]}},"container-title":["2009 IEEE International Conference on Systems, Man and Cybernetics"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/5340904\/5345886\/05346090.pdf?arnumber=5346090","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T22:42:00Z","timestamp":1497825720000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/5346090\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/icsmc.2009.5346090","relation":{},"subject":[],"published":{"date-parts":[[2009,10]]}}}