TY  - RPRT
TI  - Model Checking Real Time Java Using Java PathFinder
AU  - Lindstrom, Gary
AU  - Mehlitz, Peter C.
AU  - Visser, Willem
PY  - 2005
UR  - https://ntrs.nasa.gov/citations/20060014983
ID  - 20060014983
ER  -