Designing educational games: Key elements and methodological approach | IEEE Conference Publication | IEEE Xplore