Мараховский, В.Б., Мелехин, В.Ф.: Проектирование глобально асинхронных систем с произвольной локальной синхронизацией. Информационно-управляющие системы(1), 41–49 (2011)