Predictable Processors For Mixed-Criticality Systems And Precision-Timed I/O