Multi-Level Trace Abstraction, Linking and Display