HMP 4040: Programmable 4-channel high-performance power supply at ...