Piras, Luca, Paja, Elda, Giorgini, Paolo, Mylopoulos, John, "Goal models for acceptance requirements analysis and gamification design.", , 2017