Палагин, А. В., В. Н. Опанасенко, В. Г. Сахарин, and А. И. Лисовый. 2005. “Use of the Utility System Generator for Verification of the PLD - Based Projects”. Problems of Informatization and Control 1 (12):126-31. https://doi.org/10.18372/2073-4751.1.11537.