Реинжиниринг цифровых устройств и встраивание средств тестирования на базе многоуровневых моделей: автореф. дис. … канд. техн. наук: 05.13.05