Khan, S., 		Katoen, J., 		Volk, M., 		Zafar, A., & 		Sher, F.
2021 nov 22.  Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :