Jan Vitek Virtualizing real-time embedded systems with Java. 906-911 2011 DAC https://doi.org/10.1145/2024724.2024926 conf/dac/2011 db/conf/dac/dac2011.html#Vitek11