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