Author: IEEE Symposium and Workshop on Engineering of Computer-Based Systems (7th 2000 Edinburgh, Scotland)