Range Analyzer: An Automatic Tool for Arithmetic Overflow Detection in Model-Based Development. - Renato Matuzaki Honda; Luiz Alberto Vieira Dias (ITNG, 2013)