Wang, W, "A model of multiple nested inspections at different intervals", Computers and Operations Research, 2000