Title: Scheduling techniques for multiple processor systems in real-time environments