Author: Ariz.) IEEE International Conference and Workshop on the Engineering of Computer Based Systems (14th 2007 Tucson