Feasibility of analytical solution for transient availability using semi-Markov process. (1st January 2013)