Range Analyzer: An Automatic Tool for Arithmetic Overflow Detection in Model-Based Development | IEEE Conference Publication | IEEE Xplore