@entry{cha-did-vil-12-aa, author = {A Chapoutot and LS Didier and F Villers}, title = {Range estimation of floating-point variables in simulink models}, journal = {Proceedings of the 2012 ...,}, year = 2012, url = {{\url{https://ieeexplore.ieee.org/abstract/document/6385374/}}}, quotes = {... Finally as a comparison, we present the estimated maximum using affine arithmetic (AA) [6] ... Our estimations are similar to affine arithmetic estimation for linear sytems and more ...} }