Eric Goubault Sylvie Putot Philippe Baufreton Jean Gassino Static Analysis of the Accuracy in Control Systems: Principles and Experiments. 3-20 2007 FMICS http://dx.doi.org/10.1007/978-3-540-79707-4_3 conf/fmics/2007 db/conf/fmics/fmics2007.html#GoubaultPBG07