SatEdgeSim: A Toolkit for Modeling and Simulation of Performance Evaluation in Satellite Edge Computing Environments | IEEE Conference Publication | IEEE Xplore