@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}
}