Совместное применение генетического программирования и верификации моделей для п 5 примеров систем управления