7th IEEE International Symposium on High Assurance Systems Engineering, 2002. Proceedings.