VERMONT: Towards an In-band Telemetry-Based Approach for Live Network Property Verification. - Gabriel Vassoler; Jonatas Adilson Marques; Luciano Paschoal Gaspary (NOMS, 2023)