Robustness analysis for the certification of digital controller implementations