Transforming Gamification-Based Flipped Learning Models into BPMN 2.0 Models Using ATL: Mapping, Implementation, and Challenges | Publicación