Title: Static schedulers for embedded real-time systems