Proceedings of the tenth ACM international conference on Embedded software - Carloni, Luca (Association for Computing Machinery, 2010)