ESPeciaL: an embedded systems programming language. - Christopher Métrailler; Pierre-André Mudry (Scala@PLDI, 2015)