Proceedings of the 12th International Conference on Embedded Software - Girault, Alain (Verfasser); Association for Computing Machinery-Digital Library; ACM Special Interest Group on Design Automation; ACM Special Interest Group on Embedded Systems; ACM Special Interest Group on Microarchitectural Research and Processing (IEEE Press, 2015)