TY  - RPRT
TI  - On verifying a high-level design
AU  - Mathew, Ben
AU  - Wehbeh, Jalal A.
AU  - Saab, Daniel G.
PY  - 1993
UR  - https://ntrs.nasa.gov/citations/19940034901
ID  - 19940034901
ER  -