Studying on ARINC653 Partition Run-time Scheduling and Simulation - Dongliang Wang (2012)