Mechanisms for spatio-temporal pattern formation in highway traffic models | Synapse