A dynamic second price auction for real time departure scheduling | IEEE Conference Publication | IEEE Xplore