R. Parizi, R. Ferreira, Á. Freitas, and L. Carro. " Impact on Reliability in the Control-Flow of Programs under Compiler Optimizations", in Anais do II Simpósio Brasileiro de Engenharia de Sistemas Computacionais, Natal/RN, 2012, pp. 43-48.