MultiPARTES: Multi-core partitioning and virtualization for easing the certification of mixed-criticality systems | Publicación