Proceedings of the 2003 ACM SIGPLAN conference on Language, compiler, and tool for embedded systems
ACM Digital Library