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