Traviando - Debugging Simulation Traces with Message Sequence Charts | IEEE Conference Publication | IEEE Xplore