Author: IEEE International High-Assurance Systems Engineering Symposium (7th 2001 Tokyo, Japan)