Michael Ward Neil C. Audsley Hardware implementation of the Ravenscar Ada tasking profile. 59-68 2002 conf/cases/2002 CASES http://doi.acm.org/10.1145/581630.581641 db/conf/cases/cases2002.html#WardA02