A DEVS-based MBSE methodology for seamless deployment via Formal Digital Twin architectures - Risco-Martin, Jose L; Cardenas, Roman; Esteban, Segundo; Arroba, Patricia (Information And Software Technology, 2026)