A Model-Based Approach for Designing Location-Based Games | IEEE Conference Publication | IEEE Xplore