Верификация на основе симуляции с нахождением и исправлением ошибок для С-дизайновRepinski, UrmasПрограммные продукты и системы = Programmnye produkty i sistemy = Software & systems2012 / с. 229-237 : ил