Alan Burns Brian Dobbing G. Romanski The Ravenscar Tasking Profile for High Integrity Real-Time Programs. 263-275 http://link.springer.de/link/service/series/0558/bibs/1411/14110263.htm 1998 conf/adaEurope/1998 Ada-Europe db/conf/adaEurope/adaEurope1998.html#BurnsDR98