Совместное применение генетического программирования и верификации моделей для п Методология построения моделей сложных схем