Multi-core Devices for Safety-critical Systems | Publicación