Jagun Kwon, Andy J. Wellings, Steve King: Ravenscar-Java: a high integrity profile for real-time Java. Java Grande 2002: 131-140