Real-Time Maintenance Policies in Manufacturing Systems.