Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek. High-level programming of embedded hard real-time devices. In Christine Morin, Gilles Muller, editors, European Conference on Computer Systems, Proceedings of the 5th European conference on Computer systems, EuroSys 2010, Paris, France, April 13-16, 2010. pages 69-82, ACM, 2010. [doi]
Abstract is missing.