2013 Proceedings of the International Conference on Embedded Software (EMSOFT)