A rigorous approach to modeling autonomous traffic control systems | IEEE Conference Publication | IEEE Xplore