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 April 3, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4199.