R. Souza, M. Santos, B. Mello, and S. Fernandes. " Um Modelo Formal de Propósito Geral para Simulações de Redes Definidas por Software", in Anais do III Workshop Pré-IETF, Porto Alegre, 2016, pp. 2941-2952, doi: https://doi.org/10.5753/wpietf.2016.9739.