Scheduling a repairman in a finite source system · Study