Thermal-Aware Scheduling for MPSoC in the Avionics Domain: Tooling and Initial Results | IEEE Conference Publication | IEEE Xplore