Proceedings 7th IEEE International Symposium on High Assurance Systems Engineering. HASE 2002 | IEEE Conference Publication | IEEE Xplore