Информационно-аналитическая система временного моделирования сложных проектов на основе темпоральной логики и аппарата нечетких байесовских сетей «ТМР1.0 свидетельство о регистрации прав на ПО, базу данных