Scarf, PA, Cavalcante, CAV, Lopes, RS, "Delay-time modelling of a critical system subject to random inspections", European Journal of Operational Research, 2019