1. Desnitsky V. A technique for verification of network information flows in information and telecommunication systems with embedded devices // SPIIRAS Proceedings. 2013. № 30 (7). C. 246-257.