Gửi tin nhắn: A Tool-Supported Methodology for Validation and Refinement of Early-Stage Domain Models /Marco Autili, Antonia Bertolino, Guglielmo De Angelis, Davide Di Ruscio, and Alessio Di Sandro