José L. Risco-Martín, Román Cárdenas, Segundo Esteban, Patricia Arroba: A DEVS-based MBSE methodology for seamless deployment via Formal Digital Twin architectures. Inf. Softw. Technol. 190: 107974 (2026)