Proceedings Third IEEE International High-Assurance Systems Engineering Symposium (Cat. No.98EX231)