G. Tóth and M. Tejfel, “Component-based Error Detection of P4 programs”, Acta Cybern, vol. 25, no. 2, pp. 537-554, Aug. 2021.