KHAN, Shahid; 						KATOEN, Joost-Pieter; 						VOLK, Matthias; 						ZAFAR, Ahmad; 						SHER, Falak  .
 Modelling and Analysis of Fire Sprinklers by Verifying Dynamic Fault Trees. <em>In</em>: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 10.	, 2021, Florianópolis.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2021
.