Khan, Shahid, Joost-Pieter Katoen, Matthias Volk, Ahmad Zafar, and Falak   Sher.
"Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees." <em>Anais do X Latin-American Symposium on Dependable Computing,
Florianópolis, 2021</em>. SBC, 2021,  
sem paginação.