Methodology for the generation of air traffic scenarios based on recorded traffic data | IEEE Conference Publication | IEEE Xplore