Lukács, Dániel, Máté Tejfel, and Gergely Pongrácz. “Keeping P4 Switches Fast and Fault-Free through Automatic Verification”. Acta Cybernetica 24, no. 1 (May 21, 2019): 61–81. Accessed March 31, 2025. https://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4000.