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

by Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek
Venue:In EuroSys Conference