Tian Zhao James Noble Jan Vitek Scoped Types for Real-Time Java. 241-251 2004 conf/rtss/2004 RTSS http://doi.ieeecomputersociety.org/10.1109/REAL.2004.51 db/conf/rtss/rtss2004.html#ZhaoNV04