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