2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE)