Building a human-in-the-loop simulation of market-based traffic flow management | IEEE Conference Publication | IEEE Xplore