Vangalur S. Alagar D. Muthiayen A Rigorous Approach to Modeling Autonomous Traffic Control Systems. 193-200 2003 conf/isads/2003 ISADS http://doi.ieeecomputersociety.org/10.1109/ISADS.2003.1193948 db/conf/isads/isads2003.html#AlagarM03