Shahid Khan, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, and Falak Sher. 2021.
 Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. In <em>Proceedings of the 10th Latin-American Symposium on Dependable Computing</em>, November 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil.