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