Desnitsky, V. 2013. A technique for verification of network information flows in information and telecommunication systems with embedded devices. SPIIRAS Proceedings. 7, 30 (Dec. 2013), 246-257. DOI:https://doi.org/10.15622/sp.30.15.