В. Б. Мараховский и В. Ф. Мелехин, Проектирование глобально асинхронных систем с произвольной локальной синхронизацией, ИУС, вып. 1, сс. 41–49, фев. 2011.