Afanasieva, I., Novikov, F. and Fedorchenko, L. 2020. Methodology for Development of Event-driven Software Systems using CIAO Specification Language. SPIIRAS Proceedings. 19, 3 (Jun. 2020), 481-514. DOI:https://doi.org/10.15622/sp.2020.19.3.1.