Author: IEEE Symposium and Workshop on Engineering of Computer-Based Systems (9th 2002 Lund, Sweden)