Lei Zhao Daniel Tang Jan Vitek A technology compatibility kit for safety critical Java. 160-168 2009 JTRES http://doi.acm.org/10.1145/1620405.1620428 conf/jtres/2009 db/conf/jtres/jtres2009.html#ZhaoTV09