Bridging Design Prototypes in the Development of Games for Formal Learning Environments | IEEE Conference Publication | IEEE Xplore