CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking | IEEE Conference Publication | IEEE Xplore