Lukács, D., Tejfel, M., & Pongrácz, G. (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