Hao Cai, Andy J. Wellings. Towards a High Integrity Real-Time Java Virtual Machine. In Robert Meersman, Zahir Tari, editors, On The Move to Meaningful Internet Systems 2003: OTM 2003 Workshops, OTM Confederated International Workshops, HCI-SWWA, IPW, JTRES, WORM, WMS, and WRSM 2003, Catania, Sicily, Italy, November 3-7, 2003, Proceedings. Volume 2889 of Lecture Notes in Computer Science, pages 319-334, Springer, 2003. [doi]