Mokin, B.; Mokin V. Б.; Zhukov, S. NEW METHOD FOR SIMULATION OF SEQUENCIAL DESCRIPTION OF COMPUTERIZED SYSTEM. Works of VNTU 2015.