Hiroyuki Okamura, Tadashi Dohi, and Kishor Trivedi. 2018.
 Parametric Uncertainty Propagation through Dependability Models. In <em>Anais do VIII Latin-American Symposium on Dependable Computing</em>, outubro 08, 2018, Foz do Iguaçu, Brasil. SBC, Porto Alegre, Brasil, 10-18.