Применение формальных методов для моделирования ситуационной комнаты здравоохранения на примере Республики Казахстанкнига