Facilitating Reuse of Code Checking Rules in Static Code Analysis. - Vladimir A. Shekhovtsov; Yuriy Tomilko; Mikhail D. Godlevskiy (UNISCON, 2009)