Sumant Kowshik, Grigore Rosu, Lui Sha. Static Analysis to Enforce Safe Value Flow in Embedded Control Systems. In 2006 International Conference on Dependable Systems and Networks (DSN 2006), 25-28 June 2006, Philadelphia, Pennsylvania, USA, Proceedings. pages 23-34, IEEE Computer Society, 2006. [doi]
Abstract is missing.