H. Okamura, T. Dohi, and K. Trivedi.
"Parametric Uncertainty Propagation through Dependability Models", in <em>Anais do VIII Latin-American Symposium on Dependable Computing</em>, Foz do Iguaçu, 2018, pp. 10-18.