Satellite Quantum Key Distribution: Analysis, Modeling, Performance Evaluation, and Validation. - Javier Jordán-Parra; Marina Garcia-Romero; Jano Gil-Lopez; Joan Adrià Ruiz-de-Azua; Josep Paradells (IEEE Open J. Commun. Soc., 2025)