Астапкович, А.М.: Формализм адресно-временных карт для описания алгоритмов функционирования многоканальных систем управления. Базовые объекты и операции с AT-картами. Информационно-управляющие системы(2), 26-37 (2004)