Guaranteeing Timing Requirements in the IXV On-Board Software. - Santiago Urueña; Nuria Pérez; Bruno N. Calvo; Carlos Flores; Andreas Jung (Ada-Europe, 2015)