Applications of Semi-Markov Processes to Counter and Reliability Problems