A signals processing and big data framework for Monte Carlo aircraft encounters | IEEE Conference Publication | IEEE Xplore