Availability and performability analysis for a service degradation process with condition-based preventive maintenance I – formulation and optimisation. (1st January 2014)