Model-Based Gamification Design with Web-Agon: An Automated Analysis Tool for Gamification. - Hein Khant Zaw; Luca Piras 003; Federico Calabrese; Mohammed Ghazi Al-Obeidallah (SEAA, 2024)