Berrade, M., Cavalcante, C., & Scarf, P. (2013). Modelling imperfect inspection over a finite horizon. https://doi.org/10.1016/j.ress.2012.10.003