Author: IEEE International High-Assurance Systems Engineering Symposium