Dependable MPSoC-Based Mixed-Criticality Systems for Space Applications | IEEE Conference Publication | IEEE Xplore