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