Teodorov, Ciprian, Lucas Lima, Sidney C. Nogueira, Sylvain Guerin, and Loïc Lagadec.
" A Research Agenda for the Living SysML V2 Blueprint: Toward Executable, Verifiable, and Navigable System Models." <em>Proceedings of the 28th Brazilian Symposium on Formal Methods,
Recife/PE, 2025</em>. SBC, 2025,  
pp.61-81.