Towards Linux for the Development of Mixed-Criticality Embedded Systems Based on Multi-Core Devices | Publicación