Trace-based debugging and visualisation of concurrent Java programs with UML / Katharina Mehner