Semantic driven security assurance for system engineering in SESAR/NextGen | IEEE Conference Publication | IEEE Xplore