Modelling wireless sensor networks with energy harvesting: A stochastic calculus approach | IEEE Conference Publication | IEEE Xplore