FlexPRET: A processor platform for mixed-criticality systems | IEEE Conference Publication | IEEE Xplore