$ 0 0 Эта запись является продолжением записи «Коммуникационные фабрики: xMAS как подход к моделированию и верификации»