Real-TIme Systems: Ravenscar Ada, Priority-Based Scheduling