Semi-Markov Processes: Applications in System Reliability and Maintenance