Uncertainty Propagation in Analytic Availability Models. - Amita Devaraj; Kesari Mishra; Kishor S. Trivedi (SRDS, 2010)