Supporting operating systems projects using the μMPS2 hardware simulator. - Michael Goldweber; Renzo Davoli; Tomislav Jonjic (ITiCSE, 2012)