Souza, Rafael, Santos, Marcelo, Mello, Braulio, E Fernandes, Stênio. " Um Modelo Formal de Propósito Geral para Simulações de Redes Definidas por Software" Anais do Workshop Pré-IETF (WPIETF) [Online], (4 julho 2016)