Teodorov, C., 		Lima, L., 		Nogueira, S., 		Guerin, S., & 		Lagadec, L.
2025 dez  3.  A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :