Палагин, А. В., Опанасенко, В. Н., Сахарин, В. Г. and Лисовый, А. И. (2005) “Use of the utility System Generator for verification of the PLD - based projects”, Problems of Informatization and Control, 1(12), pp. 126–131. doi: 10.18372/2073-4751.1.11537.