It supports the specification, analysis, design, verification and validation of a broad range of systems and systems-of-systems.
Поддерживает определение, анализ, проектирование, проверку и подтверждение соответствия широкого спектра систем.