S. Khan, J. Katoen, M. Volk, A. Zafar, and F. Sher. "Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees", in Anais do X Latin-American Symposium on Dependable Computing, Florianópolis, 2021.