{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,8]],"date-time":"2025-05-08T10:02:19Z","timestamp":1746698539245,"version":"3.28.0"},"reference-count":23,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015,11]]},"DOI":"10.1109\/issrew.2015.7392060","type":"proceedings-article","created":{"date-parts":[[2016,1,28]],"date-time":"2016-01-28T21:42:58Z","timestamp":1454017378000},"page":"144-151","source":"Crossref","is-referenced-by-count":1,"title":["Efficient reachability graph development for qualitive analysis of state\/event fault trees"],"prefix":"10.1109","author":[{"given":"Michael","family":"Roth","sequence":"first","affiliation":[{"name":"Technical University of Kaiserslautern, Dept. Software Engineering: Dependability, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Agus","family":"Hartoyo","sequence":"additional","affiliation":[{"name":"Technical University of Kaiserslautern, Dept. Software Engineering: Dependability, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[{"name":"Executive Director Fraunhofer Institute for Experimental Software Engineering, Kaiserslautern, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/S0166-5316(99)00020-6"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-72685-2_55"},{"key":"ref12","first-page":"269","article-title":"Quantification of sequential failure logic for fault tree analysis. Reliability Engineering and System Safety","author":"long","year":"1999"},{"journal-title":"ORisk Tool","year":"0","key":"ref13"},{"key":"ref14","first-page":"137","article-title":"Temporal fault trees. Information and Software Technology","author":"palshikar","year":"2002"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/ISSREW.2013.6688920"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-24249-1_11"},{"key":"ref17","first-page":"207","article-title":"Minimal Cut Set\/Sequence Generation for Dynamic Fault Trees","author":"tang","year":"2004","journal-title":"Proceedings of the Reliability and Maintainability Symposium (RAMS)"},{"key":"ref18","article-title":"TimeNET 3.0 Tool Description. In Proceedings of the Int","author":"zimmermann","year":"1999","journal-title":"Int Conf on Petri Nets and Performance Models (PNPM'99)"},{"article-title":"Fault Tree Handbook","year":"1981","author":"vesely","key":"ref19"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393454"},{"article-title":"Transient Analysis of Deterministic and Stochastic Petri Nets. In Proceedings of the 14th International Conference on Application and Theory of Petri Nets","year":"1993","author":"choi","key":"ref3"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"ref5","first-page":"659","article-title":"Repairable Fault Tree for the automatic evaluation of repair policies","author":"codetta-raiteri","year":"2004","journal-title":"Proceedings of the International Conference on Dependable Systems and Networks"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/TR.1976.5220025"},{"key":"ref7","first-page":"49","article-title":"Developing a low-cost high-quality software tool for dynamic fault tree analysis","author":"dugan","year":"1999","journal-title":"IEEE Transactions on Reliability"},{"key":"ref2","first-page":"439","article-title":"Combining Fault Trees And Petri Nets To Model Safety-Critical Systems","author":"buchacker","year":"1999","journal-title":"Society for Computer Simulation International"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/S0951-8320(03)00143-1"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30138-7_17"},{"article-title":"Pandora: A Logic for the Qualitative Analysis of Temporal Fault Trees","year":"2009","author":"walker","key":"ref20"},{"key":"ref22","doi-asserted-by":"crossref","first-page":"499","DOI":"10.1109\/TR.2004.837305","article-title":"Modular solution of dynamic multi-phase systems","volume":"53","author":"yong","year":"2004","journal-title":"IEEE Transactions on Reliability"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ROBOT.1992.220211"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2008.02.016"}],"event":{"name":"2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","start":{"date-parts":[[2015,11,2]]},"location":"Gaithersburg, MD, USA","end":{"date-parts":[[2015,11,5]]}},"container-title":["2015 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/7375770\/7392022\/07392060.pdf?arnumber=7392060","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,6,8]],"date-time":"2021-06-08T12:27:15Z","timestamp":1623155235000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7392060\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,11]]},"references-count":23,"URL":"https:\/\/doi.org\/10.1109\/issrew.2015.7392060","relation":{},"subject":[],"published":{"date-parts":[[2015,11]]}}}