Using dependencies to improve precision of code analysis. - M. I. Glukhikh; Vladimir M. Itsykson; V. A. Tsesko (Autom. Control. Comput. Sci., 2012)