TY  - RPRT
TI  - Safe and efficient one-hot state machine
AU  - Zheng, Jason
AU  - Katanyoutanant, Sunant
AU  - Le, Martin
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060042644
ID  - 20060042644
ER  -