Modeling a Workflow-Based Design Specification for Learning with Flexibility Characteristics, Absence of Deadlocks, and Achievability of Each State in TEL Applications. - Matías Iturrieta; Juan Felipe Calderón; Luis A. Rojas (HCI (21), 2024)