Место функционального моделирования в задачах отработки встроенного программного обеспечения систем реального времени (Лев Гореликов, ISPRASOPEN-2019)