Souza, Rafael, Marcelo Santos, Braulio Mello, and Stênio Fernandes.
" Um Modelo Formal de Propósito Geral para Simulações de Redes Definidas por Software." <em>Anais do III Workshop Pré-IETF,
Porto Alegre, 2016</em>. SBC, 2016,  
pp.2941-2952.