Author: IEEE International High-Assurance Systems Engineering Symposium (6th 2001 Boca Raton, Fla.)