An overview of systems studies of automated highway systems | Synapse