Author: N. Ireland) IEEE International Conference and Workshop on the Engineering of Computer Based Systems (15th 2008 Belfast