The area-wide real-time traffic control (ARTC) system: Fault-tolerant design and its analysis | IEEE Conference Publication | IEEE Xplore