Scheduling preventive maintenance tasks with synchronization constraints for human resources by a CP modeling approach | IEEE Conference Publication | IEEE Xplore