A Stochastic Model for Age-of-Information Efficiency in ARQ Systems with Energy Harvesting | VDE Conference Publication | IEEE Xplore