Formal Methods for Control of Traffic Flow: Automated Control Synthesis from Finite-State Transition Models | IEEE Journals & Magazine | IEEE Xplore