Enhancing User Engagement and Interaction in Library Automation through Gamification | IEEE Conference Publication | IEEE Xplore