Ferreira, T; Brewton, H; D'Antoni, L; Silva, A; (2021) Prognosis: Closed-box analysis of network protocol implementations. In: SIGCOMM '21: Proceedings of the 2021 ACM SIGCOMM 2021 Conference. (pp. pp. 762-774). ACM Press: New York, NY, USA.