A multi-level approach for visualization and exploration of reactive program behavior | IEEE Conference Publication | IEEE Xplore