Armbruster, Baker, Cunei, Flack, Holmes, Pizlo, Pla, Prochazka, Vitek, 2007. A real-time Java virtual machine with applications in avionics.. https://doi.org/10.1145/1324969.1324974