Crew Scheduling and Real-Time Repair