The OFFIS automation framework main source-code