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

Abstract