Residual Lifetime of Repairable Systems and Phase type Approximation