Proceedings of the ACM SIGPLAN workshop on Languages, compilers and tools for embedded systems
ACM Digital Library