A Collaborative Scheduling Algorithm for Real-Time Production and Opportunistic Maintenance Under Cloud Manufacturing Paradigm | IEEE Journals & Magazine | IEEE Xplore