Title: 8th International Conference on the Engineering of Computer-Based Systems (Ecbs 2001