A condition-based maintenance model for a three-state system subject to degradation and environmental shocks. (March 2017)