A Mobility Model of Theme Park Visitors | IEEE Journals & Magazine | IEEE Xplore