A Framework for CFG-Based Static Program Analysis of Ada Programs. - Raul Fechete; Georg Kienesberger; Johann Blieberger (Ada-Europe, 2008)