Adding animation to a simulation using Proof/sup TM/ | IEEE Conference Publication | IEEE Xplore