Semi-Markov Processes:Applications in System Reliability and Maintenance