This technical report contains all 11 timed automata models that constitute a two-tier hierarchical fixed-priority preemptive scheduler.