Olivier Bouissou, Matthieu Martel. Abstract Interpretation of the Physical Inputs of Embedded Programs. In Francesco Logozzo, Doron Peled, Lenore D. Zuck, editors, Verification, Model Checking, and Abstract Interpretation, 9th International Conference, VMCAI 2008, San Francisco, USA, January 7-9, 2008, Proceedings. Volume 4905 of Lecture Notes in Computer Science, pages 37-51, Springer, 2008. [doi]
Abstract is missing.