Modeling Traffic Flow Mixed with Automated Vehicles Considering Dynamic Safety Distance | Synapse