И. В. Афанасьева, Ф. А. Новиков, и Л. Н. Федорченко, Методика построения событийно-управляемых программных систем с использованием языка спецификации CIAO, ТС, т. 19, вып. 3, сс. 481-514, июн. 2020.