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