B. Friedland, Control Systems Design: An Introduction to State-Space Methods, 1985.

A. Fettweiss, Wave digital filters: Theory and practice, Proc. of the IEEE, 1986.
DOI : 10.1109/PROC.1986.13458

J. Lopez, C. Carreras, and O. Nieto-taladriz, Improved intervalbased characterization of fixed-point LTI systems with feedback loops Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on, vol.26, issue.11, pp.1923-1933, 2007.

S. Kim, K. Kum, and W. Sung, Fixed-point optimization utility for C and C++ based digital signal processing programs, IEEE Transactions on Circuits and Systems, vol.45, pp.1455-1464, 1998.

T. Hilaire and B. Lopez, Reliable implementation of linear filters with fixed-point arithmetic, SiPS 2013 Proceedings, 2013.
DOI : 10.1109/SiPS.2013.6674540

URL : https://hal.archives-ouvertes.fr/hal-01076048

A. Volkova, T. Hilaire, and C. Lauter, Reliable Evaluation of the Worst-Case Peak Gain Matrix in Multiple Precision, 2015 IEEE 22nd Symposium on Computer Arithmetic, 2015.
DOI : 10.1109/ARITH.2015.14

URL : https://hal.archives-ouvertes.fr/hal-01083879

J. V. Newmann, First Draft of a Report on the EDVAC, tech. rep, 1945.
DOI : 10.1007/978-3-642-61812-3_30

T. Finley, Two's complement, Cornell University lecture notes, 2000.

J. Muller, N. Brisebarre, F. De-dinechin, C. Jeannerod, V. Lefèvre et al., Handbook of Floating- Point Arithmetic, 2010.
DOI : 10.1007/978-0-8176-4705-6

URL : https://hal.archives-ouvertes.fr/ensl-00379167

B. Lopez, T. Hilaire, and L. S. Didier, Formatting bits to better implement signal processing algorithms, Proc.PECCS, Portugal, pp.104-111, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01076049

F. De-dinechin, M. Istoan, and A. Massouri, Sum-of-product architectures computing just right, 2014 IEEE 25th International Conference on Application-Specific Systems, Architectures and Processors, 2014.
DOI : 10.1109/ASAP.2014.6868629

URL : https://hal.archives-ouvertes.fr/hal-00957609

N. J. Higham, Accuracy and stability of numerical algorithms, 2002.
DOI : 10.1137/1.9780898718027

L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, MPFR, ACM Transactions on Mathematical Software, vol.33, issue.2, pp.1-13, 2007.
DOI : 10.1145/1236463.1236468

URL : https://hal.archives-ouvertes.fr/inria-00103655