• An automatic test generation system for microprocessor VLSIKont, ToomasМашинное проектирование электронных устройств и систем1989 / p. 104-113