Energy efficient partition allocation in mixed-criticality systems | Publicación