Ito K. Optimal Inspection Models With Their Applications 2023