Models and Complexity Results in Real-Time Scheduling