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>Anais do X Latin-American Symposium on Dependable Computing</em>, novembro 22, 2021, Florianópolis, Brasil. SBC, Porto Alegre, Brasil.