Stochastic Renewal Process Model for Condition-Based Maintenance