Modeling the MVM-Adapt System by Compositional I/O Abstract State Machines. - Silvia Bonfanti; Elvinia Riccobene; Davide Santandrea; Patrizia Scandurra (ABZ, 2023)