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