Title: 3rd IEEE High-Assurance Systems Engineering Symposium (Hase '98