15th Annual IEEE International Conference and Workshop on Engineering of Computer Based Systems (ECBS 2008), 31 March - 4 April 2008, Belfast, Northern Ireland ECBS IEEE Computer Society 2008 db/conf/ecbs/ecbs2008.html