O. Rudskyi and A. Kopp, “ALGORITHM AND SOFTWARE TO ASSESSS THE COMPLIANCE OF BUSINESS PROCESS MODELS WITH THEIR TEXTUAL DESCRIPTIONS”, CSIT, no. 3, pp. 40–50, Sep. 2023.