A Model-Driven Satellite Quantum Communication Simulator | Publicación