Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14) Proceedings of the 2014 SIGPLAN/SIGBED conference on Languages, compilers and tools for embedded systems (LCTES'14), Jun 2014, Edinburgh, United Kingdom. pp.115-124, ⟨10.1145/2666357.2597818⟩ LCTES