Khan, Shahid, 		Katoen, Joost-Pieter, 		Volk, Matthias, 		Zafar, Ahmad, AND 		Sher, Falak.
" Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees" <em>Proceedings of the Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (22 November 2021)