Title: Flexible scheduling of hard real-time systems