C. Teodorov, L. Lima, S. Nogueira, S. Guerin, and L. Lagadec.
" A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models", in <em>Anais do XXVIII Simpósio Brasileiro de Métodos Formais</em>, Recife/PE, 2025, pp. 61-81.