TY  - RPRT
TI  - A Computational Framework to Control Verification and Robustness Analysis
AU  - Crespo, Luis G.
AU  - Kenny, Sean P.
AU  - Giesy, Daniel P.
PY  - 2010
UR  - https://ntrs.nasa.gov/citations/20100006918
ID  - 20100006918
ER  -