18th IEEE International Conference and Workshops on the Engineering of Computer-Based Systems, ECBS 2011, Las Vegas, NV, USA, 27-29 April, 2011. IEEE Computer Society 2011, ISBN 978-1-4577-0065-1