Using simulation and modeling for advanced SATCOM design verification and operational planning | IEEE Conference Publication | IEEE Xplore