TY  - RPRT
TI  - Automated Derivation of Complex System Constraints from User Requirements
AU  - Muery, Kim
AU  - Foshee, Mark
AU  - Marsh, Angela
PY  - 2006
UR  - https://ntrs.nasa.gov/citations/20060047639
ID  - 20060047639
ER  -