TY  - RPRT
TI  - Rule-Based Runtime Verification
AU  - Barringer, Howard
AU  - Goldberg, Allen
AU  - Havelund, Klaus
AU  - Sen, Koushik
PY  - 2003
UR  - https://ntrs.nasa.gov/citations/20040012676
ID  - 20040012676
ER  -