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