Перспективы использования языка SpecML для математического моделирования в задачах кардиофизикистатья