Test Schedule Generation for Acceptance Testing of Mission-Critical Satellite Systems. - Raphaël Ollando; Seung Yeob Shin; Mario Minardi; Nikolas Sidiropoulos (CoRR, 2025)