TY  - RPRT
TI  - Real-Time Embedded Software Verification and Validation 2001
AU  - Lee, Yann-Hang
PY  - 2002
UR  - https://ntrs.nasa.gov/citations/20040027585
ID  - 20040027585
ER  -