Maintenance of deteriorating non-exponential single server queue - Koh, Siew Khew (2013)