Okamura, Hiroyuki, 		Dohi, Tadashi, E 		Trivedi, Kishor.
" Parametric Uncertainty Propagation through Dependability Models" <em>Anais do Latin-American Symposium on Dependable Computing (LADC)</em> [Online], (8 outubro 2018)