Tóth, Gabriella, and Máté Tejfel. “Component-Based Error Detection of P4 Programs”. Acta Cybernetica 25, no. 2 (August 4, 2021): 537-554. Accessed June 27, 2022. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4199.