Parametric schedulability analysis of a launcher flight control system under reactivity constraints.