EP3076540B1 - System and Method for the Automatic Validation of Motor Control Firmware of an Embedded System