Author: IEEE Symposium and Workshop on Engineering of Computer-Based Systems (1998 Jerusalem)