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)

Safety assurance of an industrial robotic control system using hardware/software co-verification. - Yvonne Murray; Martin Sirevåg; Pedro Ribeiro 002; David A. Anisi; Morten Mossige (Sci. Comput. Program., 2022)