TY  - RPRT
TI  - Model compilation for embedded real-time planning and diagnosis
AU  - Barrett, Anthony
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20060043105
ID  - 20060043105
ER  -