Designing gamification for taxi booking system (Case study: Bandung smart transportation system) | IEEE Conference Publication | IEEE Xplore