Raul Fechete Georg Kienesberger Johann Blieberger A Framework for CFG-Based Static Program Analysis of Ada Programs. 130-143 2008 Ada-Europe http://dx.doi.org/10.1007/978-3-540-68624-8_10 conf/adaEurope/2008 db/conf/adaEurope/adaEurope2008.html#FecheteKB08