Quantitative reliability and availability assessment for critical systems including software | doi.page