Kwon, J; (2006) Ravenscar-Java: Java Technology for High-Integrity Real-Time Systems. Doctoral thesis , UNSPECIFIED.