@entry{lop-sed-car-16-aa, author = {JA Lopez and E Sedano and C Carreras...}, title = {Interval-based analysis and word-length optimization of non-linear systems with control-flow structures}, journal = {The 7th International ...,}, volume = {}, number = {}, pages = {}, year = 2016, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://www.sci-en-tech.com/ICCM2016/PDFs/2033-6021-1-PB.pdf}}}, quotes = {... The first of such extensions is Affine Arithmetic (AA). AA has ... To overcome this fact, Modified} }