TY  - RPRT
TI  - Program Monitoring with LTL in EAGLE
AU  - Barringer, Howard
AU  - Goldberg, Allen
AU  - Havelund, Klaus
AU  - Sen, Koushik
PY  - 2004
UR  - https://ntrs.nasa.gov/citations/20050010167
ID  - 20050010167
ER  -