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