CTM-based traffic signal optimization with variable speed limit and dynamic lane allocation | IEEE Conference Publication | IEEE Xplore