Jerome Le Ny, George J. Pappas. Robustness analysis for the certification of digital controller implementations. In Janos Sztipanovits, Raj Rajkumar, editors, ACM/IEEE 1st International Conference on Cyber-Physical Systems, ICCPS '10, Stockholm, Sweden, April 12-15, 2010. pages 99-108, ACM, 2010. [doi]
Abstract is missing.