Астапкович, А. М. Формализм адресно-временных карт для описания алгоритмов функционирования многоканальных систем управления. Информационно-управляющие системы, вып. 4, Aug. 2003, сс. 6-14, https://i-us.ru/index.php/ius/article/view/14349.