Andy Wellings
Univ. of York, York, UK
A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems*
Real-Time Systems