D. Lukács and M. Tejfel, “Overlaying Control Flow Graphs on P4 Syntax Trees with Gremlin”, Acta Cybern, Mar. 2024.