TY  - RPRT
TI  - State-Chart Autocoder
AU  - Clark, Kenneth
AU  - Watney, Garth
AU  - Murray, Alexander
AU  - Benowitz, Edward
PY  - 2007
UR  - https://ntrs.nasa.gov/citations/20090041679
ID  - 20090041679
ER  -