G. Zang, M. Xu, and Z. Gao, “High-occupancy Vehicle Lanes and Tradable Credits Scheme for Traffic Congestion Management: A Bilevel Programming Approach”, Promet, vol. 30, no. 1, pp. 1-10, Feb. 2018.