Upgrading JavaCat: A Distributed System for Time-Shifted Air Traffic Scenario Generation | IEEE Conference Publication | IEEE Xplore