D. Lukács and M. Tejfel, “Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin”, Acta Cybern, vol. 26, no. 3, pp. 593-619, Mar. 2024.