Extending Use Cases to Support Activity Design in Pervasive Mobile Games | IEEE Conference Publication | IEEE Xplore