Kristina Lundqvist Lars Asplund A Ravenscar-Compliant Run-time Kernel for Safety-Critical Systems. 29-54 2003 24 Real-Time Systems 1 db/journals/rts/rts24.html#LundqvistA03 http://dx.doi.org/10.1023/A:1021701221847