The method and the program of automated synthesis of thermal control systems of microelectronic devices | IEEE Conference Publication | IEEE Xplore