Использование метода трехстадийной декомпозиции для моделирования системы терморегулирования космического аппарата