I. S. Zakharov, Mikhail Mandrykin, Vadim Mutilin, Eugene Novikov, Alexander K. Petrenko, Alexey V. Khoroshilov. Configurable toolset for static verification of operating systems kernel modules. Programming and Computer Software, 41(1):49-64, 2015. [doi]