Impact of Electrification on the Required Bus Fleet Size: The Case of Overnight Depot Charging | IEEE Conference Publication | IEEE Xplore