PaRTAA: A Real-time Multiprocessor for Mixed-Criticality Airborne Systems. - Shibarchi Majumder; Jens F. D. Nielsen; Thomas Bak (CoRR, 2022)