Anton Epifanov, “Complexity Estimation of Automata Models with Use the Discrete RIV-functions”, NAER-V13, pp. 46–52, Aug. 2021.