High-level programming of embedded hard real-time devices (2010)

by F Pizlo, L Ziarek, E Blanton, P Maj, J Vitek
Venue:In Proceedings of the 5th European conference on Computer systems, EuroSys ’10