Proceedings. Eighth IEEE International Symposium on High Assurance Systems Engineering | IEEE Conference Publication | IEEE Xplore