Палагин, А. В. (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.