2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE)