{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,17]],"date-time":"2026-07-17T00:02:39Z","timestamp":1784246559415,"version":"3.55.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013,11]]},"DOI":"10.1109\/issrew.2013.6688920","type":"proceedings-article","created":{"date-parts":[[2014,1,3]],"date-time":"2014-01-03T18:44:26Z","timestamp":1388774666000},"page":"353-358","source":"Crossref","is-referenced-by-count":4,"title":["Qualitative analysis of state\/event fault trees for supporting the certification process of software-intensive systems"],"prefix":"10.1109","author":[{"given":"Michael","family":"Roth","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Peter","family":"Liggesmeyer","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"13","article-title":"On Petri nets with deterministic and exponentially distributed fireing times","author":"ajmone marsan","year":"1986","journal-title":"7th European Workshop on Applications and Theory of Petri Nets"},{"key":"14","doi-asserted-by":"publisher","DOI":"10.1007\/BF01386390"},{"key":"11","article-title":"Integrating fault tree analysis with event ordering information","author":"bozzano","year":"2003","journal-title":"Proceedings of the European Safety and Reliability Conference (ESREL)"},{"key":"12","author":"steiner","year":"2012","journal-title":"Modeling the Effects of Software on Safety and Reliability in Complex Embedded Systems Computer Safety Reliability and Security (SafeComp Workshops) Magdeburg Germany"},{"key":"3","doi-asserted-by":"publisher","DOI":"10.1109\/PNPM.1993.393454"},{"key":"2","article-title":"TimeNET 3.0 tool description","author":"zimmermann","year":"1999","journal-title":"Int Conf on Petri Nets and Performance Models (PNPM'99)"},{"key":"1","year":"1990","journal-title":"International Electrotechnical Commision"},{"key":"10","article-title":"A new component concept for fault trees","author":"kaiser","year":"2003","journal-title":"Proceedings of the 8th Australian Workshop on Safety Critical Systems and Software"},{"key":"7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSMC.2010.5641922"},{"key":"6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-540-30138-7_17","article-title":"State\/event fault trees-A safety analysis model for software-controlled systems","author":"kaiser","year":"2004","journal-title":"Proceedings of the 23rd Int Conference on Computer Safety Reliability and Security (SafeComp04"},{"key":"5","article-title":"Launch control safety study","author":"watson","year":"1961","journal-title":"Bell Labs"},{"key":"4","year":"0"},{"key":"9","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"8","first-page":"49","article-title":"Developing a low-cost highquality software tool for dynamic fault tree analysis","author":"dugan","year":"1999","journal-title":"IEEE Transaction on Reliability"}],"event":{"name":"2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)","location":"Pasadena, CA, USA","start":{"date-parts":[[2013,11,4]]},"end":{"date-parts":[[2013,11,7]]}},"container-title":["2013 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6679593\/6688826\/06688920.pdf?arnumber=6688920","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T15:45:17Z","timestamp":1602690317000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/6688920"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,11]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/issrew.2013.6688920","relation":{},"subject":[],"published":{"date-parts":[[2013,11]]}}}