Ciprian Teodorov, Lucas Lima, Sidney Nogueira, Sylvain Guerin, and Loïc Lagadec. 2025.
 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>, dezembro 03, 2025, Recife/PE, Brasil. SBC, Porto Alegre, Brasil, 61-81.