АСТАПКОВИЧ, А. М. Формализм адресно-временных карт для описания алгоритмов функционирования многоканальных систем управления. Информационно-управляющие системы, n. 4, p. 6-14, 22 ago. 2003.