@entry{gou-put-bau-gas-07-aa, author = {E Goubault and S Putot and P Baufreton and J Gassino}, title = {Static analysis of the accuracy in control systems: Principles and experiments}, journal = {International Workshop on ...,}, volume = {}, number = {}, pages = {}, year = 2007, month = , doi = {}, comment = {}, abstract = {}, url = {{\url{https://link.springer.com/chapter/10.1007/978-3-540-79707-4_3}}}, quotes = {... We thus proposed and implemented a relational domain, relying on affine arithmetic [5,22] ... The real part is computed using affine arithmetic, and the error is computed using three ...} }