15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems (ecbs 2008)