Teodorov, C., 		Lima, L., 		Nogueira, S., 		Guerin, S., & 		Lagadec, L.
(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>, (pp. 61-81). Porto Alegre: SBC.