Optimal Checking Models with Random Working Times
4th Asia-Pacific International Symposium on Advanced Reliability and Maintenance Modeling (APARM 2010), Wellington, New Zealand