Text this: Real-time scheduling problems in a general flexible manufacturing system /