High-level Programming of Embedded Hard Real-Time Devices

by Filip Pizlo, Lukasz Ziarek, Ethan Blanton, Petr Maj, Jan Vitek