An Educational Module for Temporal Features in Alloy 6. - Luca Padalino; Francesca Pia Panaccione; Francesco Santambrogio; Elisabetta Di Nitto; Matteo G. Rossi (FMTea, 2024)