[IEEE Proceedings 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 - Tokyo, Japan (2002.10.25-2002.10.25)] 7th IEEE International Symposium on High Assurance Systems Engineering 2002 Proceedings HASE-02 - Proceedings 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002