2014 IEEE 15th International Symposium on High-Assurance Systems Engineering