{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,6,12]],"date-time":"2026-06-12T07:13:01Z","timestamp":1781248381179,"version":"3.54.1"},"reference-count":22,"publisher":"IEEE","license":[{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2021,11,1]],"date-time":"2021-11-01T00:00:00Z","timestamp":1635724800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"DOI":"10.13039\/501100007210","name":"RWTH Aachen University","doi-asserted-by":"publisher","id":[{"id":"10.13039\/501100007210","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021,11]]},"DOI":"10.1109\/ladc53747.2021.9672579","type":"proceedings-article","created":{"date-parts":[[2022,1,17]],"date-time":"2022-01-17T21:23:18Z","timestamp":1642454598000},"page":"1-10","source":"Crossref","is-referenced-by-count":2,"title":["Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees"],"prefix":"10.1109","author":[{"given":"Shahid","family":"Khan","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Joost-Pieter","family":"Katoen","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Matthias","family":"Volk","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Ahmad","family":"Zafar","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Falak","family":"Sher","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2017.2710316"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/RAMS.1997.571665"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63390-9_31"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2009.45"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1186\/2193-0414-2-6"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04468-7_5"},{"key":"ref16","first-page":"80","article-title":"Factors affecting the reliability of sprinkler system in australian high rise office buildings","volume":"7","author":"moinuddin","year":"2007","journal-title":"Fire Safety Science"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.firesaf.2013.11.009"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.3801\/IAFSS.FSS.8-811"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/j.firesaf.2008.03.002"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.firesaf.2019.03.006"},{"key":"ref3","author":"baier","year":"2008","journal-title":"Principles of Model Checking"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2016.35"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.cosrev.2015.03.001"},{"key":"ref8","first-page":"207","article-title":"Minimal cut set\/sequence generation for dynamic fault trees","author":"tang","year":"2004","journal-title":"RAMS"},{"key":"ref7","first-page":"272","article-title":"One Net Fits All - A Unifying Semantics of Dynamic Fault Trees Using GSPNs","volume":"10877","author":"junges","year":"2018","journal-title":"Petri Nets Ser LNCS"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/24.159800"},{"key":"ref1","article-title":"Tutorial Fault Tree Analysis","author":"andrews","year":"0","journal-title":"Proc of the 16th Int System Safety Conference"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129512000254"},{"key":"ref20","author":"gull","year":"2006","journal-title":"Backup power management system and method of operating the same"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-06880-0_5"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.ress.2019.02.005"}],"event":{"name":"2021 10th Latin-American Symposium on Dependable Computing (LADC)","location":"Florian\u00f3polis, Brazil","start":{"date-parts":[[2021,11,22]]},"end":{"date-parts":[[2021,11,26]]}},"container-title":["2021 10th Latin-American Symposium on Dependable Computing (LADC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9672453\/9672552\/09672579.pdf?arnumber=9672579","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,5,10]],"date-time":"2022-05-10T16:57:22Z","timestamp":1652201842000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9672579\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11]]},"references-count":22,"URL":"https:\/\/doi.org\/10.1109\/ladc53747.2021.9672579","relation":{},"subject":[],"published":{"date-parts":[[2021,11]]}}}