Author: IEEE Symposium and Workshop on Engineering of Computer-Based Systems (8th 2001 Washington, D.C.)