A higher-order transformation approach to the formalization and analysis of BPMN using graph transformation systems (Logical Methods in Computer Science, 2024)