Availability analysis and maintenance modelling for inspected Markov systems with down time threshold. Issue 4 (4th July 2019)