Synthesis of robust task schedules for minimum disruption repair | IEEE Conference Publication | IEEE Xplore