Berrade, MD, Cavalcante, CAV, Scarf, PA, "Modelling imperfect inspection over a finite horizon", Reliability Engineering & System Safety, 2013