Merge #93

93: Add OVM paper r=ltratt a=jacob-hughes



Co-authored-by: Jake Hughes <[email protected]>

Author: bors[bot]

softdev.bib

@@ -3031,3 +3031,15 @@ @book{krasner83smallktalk
     year= "1983",
     month = Dec,
 }
+
+@article{armbruster07real,
+    title={A real-time {{Java}} virtual machine with applications in avionics},
+    author={Armbruster, Austin and Baker, Jason and Cunei, Antonio and Flack, Chapman and Holmes, David and Pizlo, Filip and Pla, Edward and Prochazka, Marek and Vitek, Jan},
+    journal={TECS},
+    volume={7},
+    number={1},
+    pages={1--49},
+    year={2007},
+    month = Dec,
+    publisher={{ACM}}
+}