ATMS 2000: hybrid automation or a lights out traffic management center? | IEEE Conference Publication | IEEE Xplore