R. Babakov, “Accounting of probability of states in microprogram finite-state machine with datapath of transitions”, Works of VNTU, no. 2, Sep. 2017.