Modelling safety distance rule-based automatic emergency braking systems using fuzzy timed petri nets | Synapse