Valenteand Feijo. Extending Use Cases to Support Activity Design in Pervasive Mobile Games. IEEE, 2014, doi:10.1109/sbgames.2014.11.