PaceMaker: A Practical Tool for Pacing Video Games | IEEE Conference Publication | IEEE Xplore