Title: Engineering of Computer-Based Systems (Ecbs 2002: Proceedings of the IEEE Conference and Workshop on Engineering of Computer-Based Systems (9Th: 2002