Астапкович, А.М.: Формализм адресно-временных карт для описания алгоритмов функционирования многоканальных систем управления. Информационно-управляющие системы(4), 6-14 (2003)