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