Simulation-Based Evaluation of Imperfect Predictive Maintenance Models in Discrete Manufacturing: A Procedure Model and Case Study | IEEE Conference Publication | IEEE Xplore