Fechete, et al.. A Framework for Cfg-based Static Program Analysis of Ada Programs. Springer Berlin Heidelberg, doi:10.1007/978-3-540-68624-8_10.