Валидация на системном уровне. Высокоуровневое моделирование и управление тестированием / Минсон Чэнь, Ксяоке Цинь, Хеон-Мо Ку, Прабхат Мишра ; пер. с англ. Е. Б. Махияновой ; под ред. А. Н. Ланцева. - Москва : Техносфера, 2014. - 294 с.: рис., табл. - ( Мир радиоэлектроники ;XVII-22: )