A Real-Time Probabilistic Traffic Flow Management Evaluation Tool | IEEE Conference Publication | IEEE Xplore