Guaranteeing Timing Requirements in the IXV On-Board Software | Publicación