Dependability Modelling under Uncertainty: An Imprecise Prob