Static Analysis of the Accuracy in Control Systems: Principles and Experiments