Using event-B and Modelica to evaluate thermal management strategies in many core systems | IEEE Conference Publication | IEEE Xplore