Andreas Ulrich Alexandre Petrenko Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study. 184-193 2007 conf/ecmdafa/2007 ECMDA-FA http://dx.doi.org/10.1007/978-3-540-72901-3_14 db/conf/ecmdafa/ecmdafa2007.html#UlrichP07