Design and Implementation of a Time Predictable Processor: Evaluation With a Space Case Study | Publicación