A platform for the authoring of educational games | IEEE Conference Publication | IEEE Xplore