Text this: Эффективная верификация цифровых компонентов физических систем с использованием мутационного тестирования