Brian Dobbing Alan Burns The Ravenscar Tasking Profile for High Integrity Real-Time Programs. 1-6 1998 SIGAda http://doi.acm.org/10.1145/289524.289525 db/conf/sigada/sigada98.html#DobbingB98