SMS versenden: Метод стратифицированной формализации сложных технологических систем со многими состояниями