Evaluating the Usability of Visualizations of Normal Behavioral Models for Analytical Reasoning | IEEE Conference Publication | IEEE Xplore