HierSch is a hierarchical scheduler used with a TempoClock