Analyzing the service availability of mobile cloud computing systems by fluid-flow approximation