Бритов, Г.С.: Верификация, валидация и тестирование компьютерных моделей линейных динамических систем. Информационно-управляющие системы(2), 75-82 (2013)