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