Markov chain performance model for IEEE 802.11 devices with energy harvesting source | IEEE Conference Publication | IEEE Xplore