Babakov, R. Accounting of Probability of States in Microprogram Finite-State Machine With Datapath of Transitions. Works of VNTU 2017.