Automatic Synthesis of Robust and Optimal Controllers - An Industrial Case Study