Lukács, D. et al. 2019. Keeping P4 Switches Fast and Fault-free through Automatic Verification. Acta Cybernetica. 24, 1 (May 2019), 61–81. DOI:https://doi.org/10.14232/actacyb.24.1.2019.6.