Title: 7th IEEE International Symposium on High Assurance Systems Engineering