S. Bukhari, F. Khalid, O. Hasan, M. Shafique, J. Henkel:
"Towards Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multi-Threaded Workloads";
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, - (2019), 1 - 14.
http://dx.doi.org/10.1109/TCAD.2019.2921313