A. Andonov, P. Dimkin, and F. Iliev, “Theoretical apparatus for analysis and synthesis of system communication protocol with a special set of services”, JSAR, vol. 1, no. 1, pp. 70–75, Feb. 2023.