Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices | IEEE Conference Publication | IEEE Xplore