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 November 15, 2019. http://cyber.bibl.u-szeged.hu/index.php/actcybern/article/view/4000.