A probabilistic situational awareness and reasoning methodology for satellite communications resource management | IEEE Conference Publication | IEEE Xplore