TY  - RPRT
TI  - A Verification-Driven Approach to Control Analysis and Tuning
AU  - Crespo, Luis G.
AU  - Kenny, Sean P.
AU  - Giesy, Daniel P.
PY  - 2008
UR  - https://ntrs.nasa.gov/citations/20080033122
ID  - 20080033122
ER  -