SHARYKIN, R. E.; KOURBATSKI, A. N. Application of formal methods in the design of a collaborative virus defense system. Journal of the Belarusian State University. Mathematics and Informatics, n. 1, p. 59–69, 29 Mar.2020.