Jagun Kwon Andy J. Wellings Steve King 0001 Ravenscar-Java: a high integrity profile for real-time Java. 131-140 2002 conf/java/2002 Java Grande https://doi.org/10.1145/583810.583825 db/conf/java/java2002.html#KwonWK02