2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE)