10th IEEE High Assurance Systems Engineering Symposium (HASE'07)