A Ravenscar-compliant run-time kernel for safety-critical systems
scientific article; zbMATH DE number 1944899