Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study