HASE 2005, 9th IEEE Int'l Symp. on High-Assurance Systems Eng.