Title: 7th IEEE International Symposium on High-Assurance Systems Engineering (Hase 2002