Cavalcante, C, Scarf, PA, Berrade, MD, "Imperfect inspection of a system with unrevealed failure and an unrevealed defective state", IEEE Transactions on Reliability, 2019