Validating complex interactions in Air Traffic Management | IEEE Conference Publication | IEEE Xplore