Zaslat SMS: Numerical methods in thermal management of electronic systems