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