J. Jordan-Parra, M. Garcia-Romero, J. Gil-Lopez, J. A. Ruiz-De-Azua and J. Paradells, "Satellite Quantum Key Distribution: Analysis, Modeling, Performance Evaluation, and Validation," in IEEE Open Journal of the Communications Society, doi: 10.1109/OJCOMS.2025.3614698.