Ninth IEEE International Symposium on High-Assurance Systems Engineering (HASE'05)