Lukács, Dániel, Máté Tejfel, and Gergely Pongrácz. 2019. “Keeping P4 Switches Fast and Fault-Free through Automatic Verification”. Acta Cybernetica 24 (1), 61-81. https://doi.org/10.14232/actacyb.24.1.2019.6.