Proceedings of the tenth ACM international conference on Embedded software - Carloni, Luca (ACM Conferences, 2010)