Proceedings of the 14th ACM SIGPLANSIGBED conference on Languages, compilers and tools for embedded systems - Association for Computing Machinery-Digital Library; ACM Special Interest Group on Embedded Systems; ACM Special Interest Group on Programming Languages (ACM, 2013)