Stochastic modeling of rechargeable battery life in a photovoltaic power system | IEEE Conference Publication | IEEE Xplore