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