Title: An optimal static scheduling algorithm for hard real-time systems specified in prototyping language