Teodorov, Ciprian, 		Lima, Lucas, 		Nogueira, Sidney, 		Guerin, Sylvain, E 		Lagadec, Loïc.
" A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (3 dezembro 2025)