Применение UniTesK к тестированию встроенных систем

.
Труды Института Системного Программирования РАН, 2004 г.