1. Afanasieva I., Novikov F., Fedorchenko L. Methodology for Development of Event-driven Software Systems using CIAO Specification Language // SPIIRAS Proceedings. 2020. № 3 (19). C. 481-514.