Markov Model for maintenance scheduling