Title: Static scheduler for hard real-time tasks on multiprocessor systems