A Tool-Supported Methodology for Validation and Reﬁnement of Early-Stage Domain Models /Marco Autili, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio, and Alessio Di Sandro - Autili,Marco