OKAMURA, Hiroyuki; 						DOHI, Tadashi; 						TRIVEDI, Kishor.
 Parametric Uncertainty Propagation through Dependability Models. <em>In</em>: LATIN-AMERICAN SYMPOSIUM ON DEPENDABLE COMPUTING (LADC), 8.	, 2018, Foz do Iguaçu.
	 
	<strong>Anais</strong> [...].
 Porto Alegre: Sociedade Brasileira de Computação, 
	2018
.
 p. 10-18.