A time-predictable many-core processor design for critical real-time embedded systems | Publicación