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