Introduction to Special Issue on Multi-Core Architectures in Avionics Systems