Theory and Practice of Quantitative ATL. - Angelo Ferrando 001; Giulia Luongo; Vadim Malvone; Aniello Murano (PRIMA, 2024)