Evaluation of the Implementation of a Timer in Gamified Programming Exercises | IEEE Conference Publication | IEEE Xplore