A trace-based visual inspection technique to detect errors in simulation models | IEEE Conference Publication | IEEE Xplore