Dynamic Thermal Management in Many-Core Systems Leveraged by Abstract Modeling | IEEE Conference Publication | IEEE Xplore