High Assurance Systems Engineering; Proceedings IEEE High Assurance Systems Engineering symposium (10th: 2007: Dallas, TX) - Cukic , Bojan (IEEE Computer Society Press)