J. Gasperovič, “Development of representative examples to evaluate specification language functionality characteristics”, LMR, vol. 46, no. spec., pp. 97–102, Sep. 2023, doi: 10.15388/LMR.2006.30585.