PassengerFlows: A Correlation-Based Passenger Estimator in Automated Public Transport | IEEE Journals & Magazine | IEEE Xplore