Title: An efficient heuristic scheduler for hard real-time systems