Books by IEEE International High-Assurance Systems Engineering Symposium (7th 2001 Tokyo, Japan) on BookTides.