Okamura, H., 		Dohi, T., & 		Trivedi, K.
2018 out  8.  Parametric Uncertainty Propagation through Dependability Models. Anais do Latin-American Symposium on Dependable Computing (LADC). [Online] :