How to merge gamification efforts for programming and modelling: a tool implementation perspective | IEEE Conference Publication | IEEE Xplore