A semi-Markov model for reliability and cost analysis of two-unit cold standby systems considering operator fatigue, preventive maintenance and imperfect repairs | Synapse