RoboTool used by colleagues at the University of Agder

RoboTool is being used by colleagues at the University of Agder to model an HVC (High Voltage Controller) from an industrial painting robot, and to analyse safety-critical properties of the controller.