Verification | part of Values at Play in Digital Games | MIT Press books | IEEE Xplore