Validating the FACTS2 air traffic simulation framework | IEEE Conference Publication | IEEE Xplore