A participatory methodology for the design of serious games in the educational environment | IEEE Conference Publication | IEEE Xplore