A Stochastic Reward Net-Based Performance Analysis of LEO Satellite Networks | IEEE Conference Publication | IEEE Xplore