@inproceedings{kowshik-rosu-sha-2006-dsn, title = {Static Analysis to Enforce Safe Value Flow in Embedded Control Systems}, author = {Sumant Kowshik and Grigore Ro{\c s}u and Lui Sha}, booktitle = {Proceedings of the International Conference on Dependable Systems and Networks (DSN'06)}, publisher = {IEEE Computer Society}, pages = {23-34}, year = {2006} }