Regularity at infinity of real mappings and a Morse-Sard theorem - Dias, L. R. G; Ruas, Maria Aparecida Soares; Tibar, M (Journal of Topology, 2012)