R. E. . Sharykin and A. N. . Kourbatski, “Application of formal methods in the design of a collaborative virus defense system”, Журнал Белорусского государственного университета. Математика. Информатика, no. 1, pp. 59–69, Mar. 2020, doi: 10.33581/2520-6508-2020-1-59-69.