System-level considerations for modeling space-based quantum key distribution architectures | IEEE Conference Publication | IEEE Xplore