An analytical framework in LEO mobile satellite systems servicing batched Poisson traffic. Issue 1 (12th December 2017)