{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,13]],"date-time":"2026-02-13T23:53:25Z","timestamp":1771026805749,"version":"3.50.1"},"reference-count":15,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1109\/dsn.2004.1311936","type":"proceedings-article","created":{"date-parts":[[2004,11,12]],"date-time":"2004-11-12T19:14:14Z","timestamp":1100286854000},"page":"659-668","source":"Crossref","is-referenced-by-count":30,"title":["Repairable fault tree for the automatic evaluation of repair policies"],"prefix":"10.1109","author":[{"given":"D.C.","family":"Raiteri","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"G.","family":"Franceschinis","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M.","family":"Iacono","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"V.","family":"Vittorini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1999.744104"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-2367-3"},{"key":"ref12","article-title":"Modelling with Generalized Stochastic Petri Nets","author":"ajmone marsan","year":"1995"},{"key":"ref13","article-title":"Reliable Computer Systems: Design and Evaluation","author":"siewiorek","year":"1992"},{"key":"ref14","article-title":"Drawnet++: Model objects to support performance analysis and simulation of complex systems","author":"vittorini","year":"2002","journal-title":"Proc of the 12th Int Conference on Modelling Tools and Techniques for Computer and Communication System Performance Evaluation (TOOLS 2002)"},{"key":"ref15","doi-asserted-by":"crossref","first-page":"68","DOI":"10.1007\/s10270-003-0039-5","article-title":"OsMoSys: a new approach to multi-formalism modeling of systems","volume":"3","author":"vittorini","year":"2004","journal-title":"Software & Systems Modeling"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/12.247838"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.2004.1285491"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/24.855536"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/0166-5316(95)00008-L"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/24.537011"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2003.1183940"},{"key":"ref1","first-page":"69","article-title":"Hierarchical analysis of fault trees with dependencies, using decomposition","year":"1998","journal-title":"Proc Annual Reliability and Maintainability Symposium"},{"key":"ref9","article-title":"Towards an object based multi-formalism multi-solution modeling approach","author":"franceschinis","year":"2002","journal-title":"Proc of the 2nd Workshop on Modelling of Objects Components and Agents MOCA02"}],"event":{"name":"International Conference on Dependable Systems and Networks, 2004","location":"Florence, Italy","start":{"date-parts":[[2004,7,1]]},"end":{"date-parts":[[2004,7,1]]}},"container-title":["International Conference on Dependable Systems and Networks, 2004"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/9172\/29105\/01311936.pdf?arnumber=1311936","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,16]],"date-time":"2017-06-16T07:52:05Z","timestamp":1497599525000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/1311936\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"references-count":15,"URL":"https:\/\/doi.org\/10.1109\/dsn.2004.1311936","relation":{},"subject":[],"published":{"date-parts":[[2004]]}}}