Understanding High-Level Behavior with a Light-Traces Visualization Metaphor | IEEE Conference Publication | IEEE Xplore