Functional requirements for automated bus transit systems based on human driver tasks | Synapse