D. Sampaio, R. Martins, C. Collange, and F. Pereira.
" Divergence Analysis with Affine Constraints", in <em>Proceedings of the 24th International Symposium on Computer Architecture and High Performance Computing</em>, Nova Iorque/EUA, 2012, pp. 67-74.