Safety Assurance of a High Voltage Controller for an Industrial Robotic System. - Yvonne Murray; David A. Anisi; Martin Sirevåg; Pedro Ribeiro 002; Rabah Saleh Hagag (SBMF, 2020)