Kutsevol, et al.. An Approach to Direct Memory Access Module Verification. Institute for System Programming of the Russian Academy of Sciences, 2015, doi:10.15514/ispras-2015-27(3)-10.