J. Štefanovič, “Demonstrative Modeling of Discrete Dynamic Systems”, ITA, vol. 9, no. 1, pp. 89–98, Sep. 2023.