Modelling, Verification and Synthesis of Two-Tier Hierarchical Fixed-Priority Preemptive Scheduling.

Mikael Asberg, Paul Pettersson, Thomas Nolte

Browse the full ECRTS paper archive.