@entry{cha-did-vil-12-aa-simulink, author = {A Chapoutot and LS Didier and F Villers}, title = {Range estimation of floating-point variables in simulink models}, journal = {Proceedings of the 2012 ...,}, volume = {}, number = {}, pages = {}, year = 2012, month = , doi = {}, comment = {}, abstract = {}, 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 ...} }