B. Mokin, Mokin V. Б., and S. Zhukov, “NEW METHOD FOR SIMULATION OF SEQUENCIAL DESCRIPTION OF COMPUTERIZED SYSTEM”, Works of VNTU, no. 2, Dec. 2015.