TY  - RPRT
TI  - Composing, Analyzing and Validating Software Models
AU  - Sheldon, Frederick T.
PY  - 1998
UR  - https://ntrs.nasa.gov/citations/19990021051
ID  - 19990021051
ER  -