Novel Electric Bus Energy Consumption Model Based on Probabilistic Synthetic Speed Profile Integrated With HVAC | IEEE Journals & Magazine | IEEE Xplore