Markov counting and reward processes for analysing the performance of a complex system subject to random inspections | Publicación