ESPeciaL: an embedded systems programming language.

Christopher Mtrailler, Pierre-Andr Mudry

Browse the full PLDI paper archive.