Formulation and Solution for the Predictive Maintenance Integrated Job Shop Scheduling Problem | IEEE Conference Publication | IEEE Xplore