Session details: Embedded tutorial: closed-loop control for power and thermal management in multi-core processors: formal methods and industrial practice | Publicación