Анализ непротиворечивости моделей архитектуры предприятия с использованием формальных методов верификации | Publicación