PaceMaker: A Practical Tool for Pacing Video Games. - Julian Geheeb; Daniel Dyrda; Sebastian Geheeb (CoG, 2024)