Availability evaluation of manufacturing systems using Semi-Markov model. Issue 7 (2nd July 2016)