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