D. Lukács, M. Tejfel, and G. Pongrácz, “Keeping P4 Switches Fast and Fault-free through Automatic Verification”, Acta Cybern, vol. 24, no. 1, pp. 61-81, May 2019.