Khan, S., Katoen, J., Volk, M., Zafar, A., & Sher, F. (2021). Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. In Anais do X Latin-American Symposium on Dependable Computing. Porto Alegre: SBC.