Enhancing end-user mental models of computer systems through the use of animation | IEEE Conference Publication | IEEE Xplore