Educational Digital Game Production: A Survey on Practice in the Educational Context | IEEE Conference Publication | IEEE Xplore