Modelling imperfect inspection over a finite horizon | Publicación