Author: IEEE Symposium and Workshop on Engineering of Computer-Based Systems (1997 Monterey, Calif.)