Okamura, H., 		Dohi, T., & 		Trivedi, K.
(2018).
Parametric Uncertainty Propagation through Dependability Models.
In <em>Anais do VIII Latin-American Symposium on Dependable Computing</em>, (pp. 10-18). Porto Alegre: SBC.